Theorem WeierstrassCurve.Projective.dblY_smul

Modification history