Thms
exponent
Sections
AutomataTheory
Doc
compose
Def
(f o g)(x) == f(g(x))
Thm*
A,B,C:Type, f:(B
C), g:(A
B). f o g
A
C
About:
A,B,C:Type, f:(B
C), g:(AB). f o g 
AC
