Theorem WeierstrassCurve.c₆_of_isCharThreeJNeZeroNF

Modification history