Theorem CircleDeg1Lift.coe_pow

Modification history