Theorem WeierstrassCurve.Jacobian.equation_smul

Modification history