The Seifert–Van Kampen Theorem in Homotopy Type Theory (2016) [pdf]

(home.sandiego.edu)

1 points | by measurablefunc 12 hours ago ago

No comments yet.