Hopf problem: threefold · special periods 12 #
Supporting definitions and proofs for this stage of the six-sphere construction.
theorem
Mathoverflow1973.ManifoldAtlasTransport.transition_eq
{H : Type u_1}
{M : Type u_2}
{N : Type u_3}
[TopologicalSpace H]
[Nonempty H]
[TopologicalSpace M]
[TopologicalSpace N]
(h : M ≃ₜ N)
(e e' : OpenPartialHomeomorph M H)
: