Definitions bool 1 Doc

At: neg assert of eq atom

x,y:Atom. x=yAtom xy
By:
UnivCD
THEN
RWH (LemmaC Thm* x,y:Atom. x=yAtom x = y) 0
Generated subgoal:

11. x: Atom
2. y: Atom
x = y xy