Nuprl - Proof: qup up repst

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

At: qup up repst

t:Term. UP(t) = t

By: GenUnivCD

Generated subgoal:

1 1. t: Term
UP(t) = t 6 steps

About:

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