Theorem CircleDeg1Lift.pow_monotone

Modification history