Thms relation autom Sections AutomataTheory Doc

compose Def (f o g)(x) == f(g(x))

Thm* f:(BC), g:(AB). f o g AC