search

b-mehta / topos

Topos theory in lean
56 stars 2 forks source link

Cone equivalences means apex equivalence #11

Closed b-mehta closed 4 years ago

b-mehta commented 4 years ago

If cones are equivalent, then they have equivalent apices (part of #7)