PrintForm Definitions formula list Sections ClassicalProps(jlc) Doc

At: list rank append homomorphism 1 1 1 1
1. M: Formula List
2. N: Formula List

(N) = 0+(N)
By: GenConcl ((N) = n)
Generated subgoals:

None

About:
equalapplyaddnatural_numberlist