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

At: up reps 1 1 2
1. t: Term
2. t Term
t = t
By: BackThru Thm* t:Term. t = t
Generated subgoals:

None

About:
equalall

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