relation
autom
Sections
AutomataTheory
Doc
identity
Def
Id(x) == x
Thm* Id
A
A