Theorem WeierstrassCurve.Projective.Y_eq_iff'

Modification history