Theorem WeierstrassCurve.Jacobian.smul_equiv

Modification history