Theorem CircleDeg1Lift.map_lt_of_translationNumber_lt_nat

Modification history