#HoTT Book : obscurités concernant la notion de « path induction »

https://github.com/HoTT/book/issues/460

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.