Theorem WeierstrassCurve.Projective.addU_smul

Modification history