GenAutomata
Sections
NuprlLIB
Doc
Def
x:A. B(x) == {x:A| B(x) }
is mentioned
In prior sections:
num
thy
1
GenAutomata
Sections
NuprlLIB
Doc
x:A. B(x) == {x:A| B(x) }