Theorem WeierstrassCurve.Projective.dblZ_smul

Modification history