Theorem CircleDeg1Lift.le_translationNumber_of_add_le

Modification history