Theorem WeierstrassCurve.Projective.add_of_equiv

Modification history