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

At: s1 1 1
1. t: Term
s(t) = SUBX(f(t); f(t))
By: Unfold `s` 0
Generated subgoals:

None

About:
equal

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