Theorem CircleDeg1Lift.iterate_mono

Modification history