Theorem CircleDeg1Lift.lt_iterate_pos_iff

Modification history