Hopf problem: uniformization · special periods 5

Supporting definitions and proofs for this stage of the six-sphere construction.

theorem Mathoverflow1973.SpecialPeriods.BetaTorsor.tau_sub_one_ne_zero_mo1973_17984 (τ : UpperHalfPlane → UpperHalfPlane) (z : UpperHalfPlane) : ↑(τ z) - 1 ≠ 0