See Principal ∞-bundles – theory, presentations and applications
Last revised on June 6, 2012 at 19:23:50. See the history of this page for a list of all contributions to it.