Theorem WeierstrassCurve.Jacobian.baseChange_negAddY

Modification history