Theorem WeierstrassCurve.Jacobian.Equation.baseChange

Modification history