Daily Archives: August 6, 2017

#HoTT analogie des n-types et des n-catégories

Advertisements