Theorem CircleDeg1Lift.iterate_monotone

Modification history