Apr 05 2014

Thesis defense: Interaction between linear algebra and topology in formalized mathematics

2014-04-04