Theorem WeierstrassCurve.b₂_of_isCharThreeJNeZeroNF_of_char_three

Modification history