search

HoTT / book

A textbook on informal homotopy type theory
2.03k stars 359 forks source link

Fix issue #1135 #1137

Closed Bolpat closed 1 year ago

mikeshulman commented 1 year ago

Thanks!