At: list rank append homomorphism 1 2 1 1 1 2
1. M: Formula List
2. u: Formula
3. v: Formula List
4. N: Formula List
5. 
(v @ N) = (v)+(N) 
6. z:
(u)+z = (u)+(v)+(N) Prop
By:
GenConcl ((u) = n)
THEN
GenConcl ((v) = m)
THEN
GenConcl ((N) = r)
Generated subgoals:None
About:
