Nuprl - Proof: s wf

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

At: s wf

t:Term. s(t) Term

By: GenUnivCD

Generated subgoals:

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

2 Term Type Auto

About:

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