Deleting nat_inequalities.v