mb
hybrid
Sections
GenAutomata
Doc
Def
Surj(A; B; f) ==
b:B.
a:A. f(a) = b
is mentioned
In prior sections:
fun
1
Try larger context:
GenAutomata
mb
hybrid
Sections
GenAutomata
Doc