Theorem WeierstrassCurve.Jacobian.dblXYZ_X

Modification history