Theorem WeierstrassCurve.Projective.isUnit_dblZ_of_Y_ne'

Modification history