Theorem CircleDeg1Lift.map_lt_add_floor_translationNumber_add_one

Modification history