Theorem WeierstrassCurve.c₆_of_char_two

Modification history