Theorem WeierstrassCurve.Projective.dblXYZ_smul

Modification history