PrintForm Definitions decidability Sections ClassicalProps(jlc) Doc

At: zero rank all vars 1 1 1 1 1 1 1 2 1 2
1. z: Formula
2. x: Formula

(x)+1 = 0 (v:Var. x = v)
By: GenConclOnAps
Generated subgoals:

None

About:
impliesequalintaddapplynatural_numberexists