PrintForm Definitions sequent valid Sections ClassicalProps(jlc) Doc

At: sequent valid wf 1
1. S: Sequent

(a:Full(S). a |= S) Type
By: MemberEqCD THENL [Auto;Id]
Generated subgoal:

12. a: Full(S)
a |= S Type

About:
memberuniverseall