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