Theorem Int.eq_zero_of_nat_abs_eq_zero

Modification history