HoTT / book

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

Fix typos in the proof of Theorem 8.4.6 #1154

Open EricWay1024 opened 7 months ago

EricWay1024 commented 7 months ago

In the proof of Theorem 8.4.6,