Theorem WeierstrassCurve.Jacobian.isUnit_dblZ_of_Y_ne

Modification history