Theorem WeierstrassCurve.b₆_of_isCharNeTwoNF

Modification history