Thm* eq_int_eq_false_elim

Thm* eq_int_eq_false

Thm* neg_assert_of_eq_atom

Thm* neg_assert_of_eq_int

In prior sections: int 1