Theorem WeierstrassCurve.Jacobian.comp_smul

Modification history