search

rzk-lang / sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.
https://rzk-lang.github.io/sHoTT/
44 stars 12 forks source link

symmetry of inverses, reversing equivalences #53

Closed floverity closed 1 year ago

floverity commented 1 year ago

Three definitions corresponding to issue #36.