Theorem CircleDeg1Lift.le_translationNumber_of_add_nat_le

Modification history