Theorem CircleDeg1Lift.translationNumber_eq_of_tendsto₀'

Modification history