Theorem CircleDeg1Lift.le_iterate_pos_iff

Modification history