Theorem CircleDeg1Lift.iterate_pos_eq_iff

Modification history