Nuprl - Proof: repst wf 1

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

At: repst wf 1

1. t: Term
2. x: Term

(t = x) Prop

By: Unfold `repst` 0

Generated subgoal:

1 (t = x) Prop 1 step

About:

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