Theorem WeierstrassCurve.b₄_of_isCharTwoJNeZeroNF

Modification history