Theorem CircleDeg1Lift.le_translationNumber_of_add_int_le

Modification history