Theorem CircleDeg1Lift.translationNumber_le_of_le_add_int

Modification history