MarkB
generic
Sections
NuprlLIB
Doc
Def
A List
== {l:(A List)|
(0 <
||l||) }
is mentioned
In prior sections:
mb
list
1
MarkB
generic
Sections
NuprlLIB
Doc
== {l:(A List)| 
(0 < 
||l||) }