Theorem WeierstrassCurve.Jacobian.equation_smul_iff

Modification history