Theorem WeierstrassCurve.Projective.add_smul_of_equiv

Modification history