Homotopy Type Theory
Seifert-van Kampen theorem (history)

January 19, 2019