GenAutomata
Sections
NuprlLIB
Doc
Def
(
x:T. b(x))(x) == b(x)
is mentioned
In prior sections:
list
1
GenAutomata
Sections
NuprlLIB
Doc
x:T. b(x))(x) == b(x)