Theorem WeierstrassCurve.Projective.negY_smul

Modification history