(5steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc

At: repst wf 1 1
1. t: Term
2. x: Term
(t = x) Prop
By: BackThru Thm* t,x:Term. (t = x) Prop
Generated subgoals:

None

About:
memberpropall

(5steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc