Theorem CircleDeg1Lift.coe_toOrderIso

Modification history