Theorem CircleDeg1Lift.tendsto_translationNumber_aux

Modification history