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