Theorem WeierstrassCurve.c₄_of_isCharTwoJNeZeroNF_of_char_two

Modification history