det
automata
Sections
AutomataTheory
Doc
Def
A ~ B ==
f:(A
B), g:(B
A). InvFuns(A; B; f; g)
In prior sections:
fun
1
finite
sets
f:(A
B), g:(BA). InvFuns(A; B; f; g)