Theorem WeierstrassCurve.b₈_of_char_three

Modification history