Theorem WeierstrassCurve.Jacobian.baseChange_addX

Modification history