[[!redirects hopf fibration]] [[!redirects Hopf fibration]] [[!redirects hopf construction]] [[!redirects Hopf construction]] < [[nlab:Hopf construction in homotopy type theory]] category:redirected to nlab