Theorem CircleDeg1Lift.translationNumber_le_of_le_add

Modification history