Theorem WeierstrassCurve.Jacobian.baseChange_negY

Modification history