Theorem WeierstrassCurve.Projective.negDblY_smul

Modification history