Thms relation autom Sections AutomataTheory Doc

tidentity Def Id == Id

Thm* Id AA

identity Def Id(x) == x

Thm* Id AA