Theorem WeierstrassCurve.Jacobian.baseChange_dblX

Modification history