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