Theorem CircleDeg1Lift.tendsto_translation_number₀'

Modification history