Theorem CircleDeg1Lift.pow_mono

Modification history