Theorem WeierstrassCurve.b₆_of_isCharThreeJNeZeroNF_of_char_three

Modification history