Theorem WeierstrassCurve.CoordinateRing.natDegree_norm_ne_one

Modification history