Nuprl - Proof: reps wf2 1 1

(6steps total) PrintForm Lemmas ElisTarskiPf A Sections NuprlLIB Doc

At: reps wf2 1 1

1. t: Term
2. x: Term

(t Term & t = x) Prop

By: Auto

Generated subgoal:

1 3. t Term
is_subst0(.(t)) 1 step

About:

(6steps total) PrintForm Lemmas ElisTarskiPf A Sections NuprlLIB Doc