Theorem CircleDeg1Lift.iterate_le_of_map_le_add_int

Modification history