Theorem EllipticCurve.ofJ_1728_of_two_ne_zero

Modification history