Theorem WeierstrassCurve.a₂_of_isCharTwoJEqZeroNF

Modification history