Homotopy Type Theory
empty
Redirected from "2-vector bundles".