PrintForm
Definitions
sequent
rank
Sections
ClassicalProps(jlc)
Doc
At:
not
list
exists
rank
gt
0
rank
0
1
1
1
1
1.
hyp:
Formula List
2.
concl:
Formula List
f
nil.(
(f) > 0)
0+
(nil) = 0
By:
AbReduce 0
Generated subgoals:
None
About: