Theorem WeierstrassCurve.Jacobian.isUnit_dblZ_of_Y_ne'

Modification history