Theorem CircleDeg1Lift.iterate_eq_of_map_eq_add_int

Modification history