Theorem CircleDeg1Lift.sup_apply

Modification history