Theorem WeierstrassCurve.Affine.Equation.baseChange

Modification history