Theorem Int.eq_x_or_neg

Modification history