Hopf problem: threefold · special periods 8

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

theorem Mathoverflow1973.SpecialPeriods.Threefold.punctured_complex_ball_isPathConnected {r : ℝ} (hr : 0 < r) : IsPathConnected (Metric.ball 0 r \ {0})