PrintForm
Definitions
formula
list
Sections
ClassicalProps(jlc)
Doc
At:
list
rank
append
homomorphism
M,N:Formula List.
(M @ N) =
(M)+
(N)
By:
Analyze 0
Generated subgoal:
1
1.
M:
Formula List
N:Formula List.
(M @ N) =
(M)+
(N)
About:
N:Formula List. 
(M @ N) = (M)+(N) 
M,N:Formula List. (M @ N) = (M)+(N) N:Formula List. (M @ N) = (M)+(N) 
