Theorem WeierstrassCurve.a₃_of_isCharThreeJNeZeroNF

Modification history