Theorem EllipticCurve.variableChange_j

Modification history