Theorem WeierstrassCurve.b₆_of_isShortNF_of_char_three

Modification history