Theorem WeierstrassCurve.Jacobian.baseChange_addY

Modification history