Theorem WeierstrassCurve.Projective.Equation.baseChange

Modification history