Theorem WeierstrassCurve.b₈_of_isCharThreeJNeZeroNF_of_char_three

Modification history