mb
hybrid
Sections
GenAutomata
Doc
Def
(i, j)(x) == if x=
i
j ;x=
j
i else x fi
is mentioned
In prior sections:
mb
nat
mb
list
1
mb
list
2
Try larger context:
GenAutomata
mb
hybrid
Sections
GenAutomata
Doc