10 ms·The Seifert–Van Kampen Theorem in Homotopy Type Theory (2016) [pdf]1 points by measurablefunc 1y ago