Theorem WeierstrassCurve.Projective.baseChange_polynomialY

Modification history