Theorem WeierstrassCurve.Projective.dblX_smul

Modification history