Theorem EllipticCurve.exists_variableChange_of_j_eq

Modification history