Theorem WeierstrassCurve.Projective.baseChange_polynomialX

Modification history