Nuprl - Proof: f wf

(3steps total) PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc

At: f wf

t:Term. f(t) Term

By: GenUnivCD

Generated subgoals:

1 1. t: Term
f(t) Term 1 step

2 Term Type Auto

About:

(3steps total) PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc