Theorem CircleDeg1Lift.coe_mul

Modification history