Theorem CircleDeg1Lift.translationNumber_le_of_le_add_nat

Modification history