Theorem WeierstrassCurve.Jacobian.baseChange_neg

Modification history