Theorem EllipticCurve.baseChange_injective

Modification history