Theorem WeierstrassCurve.Projective.addX_smul

Modification history