Theorem WeierstrassCurve.Projective.addZ_smul

Modification history