Theorem WeierstrassCurve.Jacobian.dblXYZ_smul

Modification history