search

HoTT / book

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

clarify based<->unbased path induction, close #1117 #1118

Closed mikeshulman closed 1 year ago