Theorem WeierstrassCurve.Projective.equation_smul_iff

Modification history