Theorem WeierstrassCurve.Jacobian.baseChange_add

Modification history