Theorem CircleDeg1Lift.coe_one

Modification history