automata
6
Sections
AutomataTheory
Doc
Def
Inj(A; B; f) ==
a1,a2:A. f(a1) = f(a2)
B
a1 = a2
In prior sections:
automata
5
a1,a2:A. f(a1) = f(a2) 
B 
a1 = a2