Theorem CircleDeg1Lift.floor_sub_le_translationNumber

Modification history