Theorem WeierstrassCurve.Projective.polynomialZ_eq

Modification history