Theorem WeierstrassCurve.Projective.dblZ_ne_zero_of_Y_ne'

Modification history