Theorem CircleDeg1Lift.coe_toOrderIso_inv

Modification history