Hopf problem: hurewicz · higher hurewicz 2 #
Supporting definitions and proofs for this stage of the six-sphere construction.
theorem
Mathoverflow1973.FifthHurewicz.toLoop_transAt
{X : Type}
[TopologicalSpace X]
{x : X}
(p q : ↑(GenLoop (Fin 5) X x))
: