Theorem EllipticCurve.baseChange_j

Modification history