Theorem WeierstrassCurve.Jacobian.baseChange_negDblY

Modification history