Theorem WeierstrassCurve.a₁_of_isCharTwoJEqZeroNF

Modification history