PrintForm
Definitions
sequent
rank
Sections
ClassicalProps(jlc)
Doc
At:
not
list
exists
rank
gt
0
rank
0
1
1
1
2
1
1
1
1
1
1.
u:
Formula
2.
v:
Formula List
0+
(v) = 0
(u) > 0
0+
(u)+
(v) = 0
By:
GenConclOnAps
Generated subgoals:
None
About:
0+
(v) = 0 
(u) > 0 0+(u)+(v) = 0
