Homotopy Type Theory relation > history

Redirected from "Principal ∞-bundles -- Theory, presentations and applications".