Theorem WeierstrassCurve.b₆_of_isCharTwoJNeZeroNF

Modification history