Theorem WeierstrassCurve.Jacobian.dblZ_smul

Modification history