Theorem EllipticCurve.exists_variableChange_isCharTwoNF

Modification history