Daily Archives: October 14, 2017

Kapulkin : Joyal’s conjecture in #HoTT

Advertisements