Theorem CircleDeg1Lift.map_lt_of_translationNumber_lt_int

Modification history