Theorem WeierstrassCurve.a₁_of_isCharTwoJNeZeroNF

Modification history