Theorem EllipticCurve.exists_variableChange_isShortNF

Modification history