11. N: Formula List
12. hyp = (M @ (z.N))
13.
(M @ (z.N))+(concl) = 0
v:Var. z = 
v
}}
s
L.((s) = 0)eqS) LeqF) hyp(hyp)+(concl) = 0 v:Var. z = v| 1 | 10. M: Formula List 11. N: Formula List 12. hyp = (M @ (z.N)) 13. (M @ (z.N))+(concl) = 0 v:Var. z = v |
About:
 |  |  |  |  |
 |  |  |  |  |