Theorem WeierstrassCurve.Jacobian.smul_equiv_smul

Modification history