Theorem CircleDeg1Lift.tendsto_translation_number'

Modification history