Daily Archives: November 1, 2017

Définir les (∞,1)-catégories dans le cadre de #HoTT

Advertisements