PrintForm Definitions sequent rank Sections ClassicalProps(jlc) Doc

At: not list exists rank gt 0 rank 0 2 1 1 1 2 1 1 1 1 1 1 1 1
1. u: Formula
2. v: Formula List
3. u1: Formula
4. v1: Formula List

(v)+(u1)+(v1) = 0 (u) > 0 (u)+(v)+(u1)+(v1) = 0
By: GenConclOnAps
Generated subgoals:

None

About:
impliesequalintaddapplynatural_numberlist