Theorem EllipticCurve.ofJ_1728_of_three_eq_zero

Modification history