Theorem WeierstrassCurve.CoordinateRing.degree_norm_ne_one

Modification history