Theorem WeierstrassCurve.b₈_of_isCharTwoJEqZeroNF_of_char_two

Modification history