Theorem WeierstrassCurve.Projective.add_smul_of_not_equiv

Modification history