search

HoTT / book

A textbook on informal homotopy type theory
2.04k stars 360 forks source link

Lemma 8.5.9 is missing a label #1149

Open Alizter opened 1 year ago

Alizter commented 1 year ago

Observed in https://github.com/HoTT/Coq-HoTT/pull/1768