Theorem CircleDeg1Lift.map_lt_add_translationNumber_add_one

Modification history