normalization
Sections
ClassicalProps(jlc)
Doc
Def
(L) == reduce(
x,y.
(x)+y;0;L)
In prior sections:
formula
list
(L) == reduce(
x,y. (x)+y;0;L)