Theorem WeierstrassCurve.Projective.add_equiv

Modification history