lSpace Homotopy theory of infinite dimensional manifolds (history)

September 25, 2013