Theorem EllipticCurve.j_of_isCharThreeJNeZeroNF_of_char_three

Modification history