Theorem WeierstrassCurve.Jacobian.isUnit_addU_of_Y_ne

Modification history