Theorem WeierstrassCurve.b₄_of_isCharTwoJEqZeroNF_of_char_two

Modification history