exponent
Sections
AutomataTheory
Doc
Def
InvFuns(A; B; f; g) == g o f = Id & f o g = Id
In prior sections:
fun
1