direct proof that being an equiv is a prop
authorAnders Mörtberg <andersmortberg@gmail.com>
Sat, 11 Nov 2017 15:46:28 +0000 (10:46 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Sat, 11 Nov 2017 15:46:28 +0000 (10:46 -0500)
commitc3612560fa30cecc86902daf097c8dd77b9b0b7d
tree1e625f9a9af2cd5d8b3979ed8309441c06061c46
parenta867f3d66172020e30dd0614bd7b50f90b6fddd7
direct proof that being an equiv is a prop
examples/equiv.ctt