Theorem WeierstrassCurve.Projective.neg_smul_equiv

Modification history