Theorem WeierstrassCurve.Projective.baseChange_polynomial

Modification history