Nuprl - Proof: decidable atom equal 1 1 3 1

(12steps total) PrintForm core StandardLIB Doc

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: decidable atom equal 1 1 3 1

1. a : Atom
2. b : Atom
3. a = b

*

(a = b)

By:	MemberEqCD

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(12steps total) PrintForm core StandardLIB Doc