Theorem EllipticCurve.coe_inv_variableChange_Δ'

Modification history