proof that mult is an equivalence
authorcoquand <coquand@chalmers.se>
Tue, 21 Apr 2015 15:16:20 +0000 (17:16 +0200)
committercoquand <coquand@chalmers.se>
Tue, 21 Apr 2015 15:16:20 +0000 (17:16 +0200)
commit11059dfea5d6be878776c5438d60ffbb60ae6972
treedc1e955d265c410135174856ac3b2add3686b109
parentcde2f940f123bedcb5b461691b08a676e2a04875
proof that mult is an equivalence
examples/helix.ctt