Theorem WeierstrassCurve.Jacobian.baseChange_polynomialY

Modification history