Theorem WeierstrassCurve.Projective.add_of_eq

Modification history