X-Nico

unusual facts about Homotopy type theory