Nuprl - Pf Three ind ext

(2steps) PrintForm Definitions Three Sections ClassicalProps(jlc) Doc

At: Three ind ext

x:. True

By: Analyze 0

Generated subgoal:

1 1. x:
True

About:

(2steps) PrintForm Definitions Three Sections ClassicalProps(jlc) Doc