Theorem WeierstrassCurve.Jacobian.baseChange_polynomial

Modification history