#HoTT L’axiome d’univalence

 

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