Nuprl - Pf sequent_valid_wf 1 1

PrintForm Definitions sequent valid Sections ClassicalProps(jlc) Doc

At: sequent valid wf 1 1

1. S: Sequent
2. a: Full(S)

a |= S Type

By: Analyze 2

Generated subgoals:

None

About: