Theorem CircleDeg1Lift.tendsto_translationNumber

Modification history