Theorem Int.of_nat_eq_of_nat_iff

Modification history