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

fnil.((f) > 0) 0+(nil) = 0

By: AbReduce 0

Generated subgoals:

None


About:
impliesnilapplynatural_numberequalintaddlist