Theorem WeierstrassCurve.Projective.add_smul_equiv

Modification history