det
automata
Sections
AutomataTheory
Doc
Def
2of(t) == t.2
In prior sections:
core