Theorem CircleDeg1Lift.le_iterate_of_add_int_le_map

Modification history