Clean up isoToEquiv proof with Anders.
authorCarlo Angiuli <carlo@carloangiuli.com>
Mon, 9 Apr 2018 19:11:27 +0000 (15:11 -0400)
committerAnders Mörtberg <andersmortberg@gmail.com>
Mon, 9 Apr 2018 21:08:09 +0000 (17:08 -0400)
commitbf8253f482917e390fe8b44ceaf308405afeefc6
tree94a620205bfc67af37382edc52bff82ee79fc562
parent7f3c7a7cfe60f98da46e6958bec62bac4675ccd2
Clean up isoToEquiv proof with Anders.
examples/equiv.ctt