Theorem WeierstrassCurve.Jacobian.baseChange_equation

Modification history