Theorem WeierstrassCurve.natDegree_Ψ₃

Modification history