Theorem WeierstrassCurve.Projective.X_eq_iff

Modification history