Theorem WeierstrassCurve.Projective.negAddY_smul

Modification history