Theorem WeierstrassCurve.Projective.neg_smul

Modification history