Theorem WeierstrassCurve.Projective.baseChange_polynomialZ

Modification history