GenAutomata Sections NuprlLIB Doc

Def InvFuns(A; B; f; g) == g o f = Id & f o g = Id

is mentioned

In prior sections: fun 1


GenAutomata Sections NuprlLIB Doc