Theorem WeierstrassCurve.b₄_of_char_two

Modification history