Theorem WeierstrassCurve.Jacobian.baseChange_dblY

Modification history