Theorem CircleDeg1Lift.translationNumber_eq_of_tendsto₀

Modification history