Theorem WeierstrassCurve.natDegree_Ψ₂Sq

Modification history