Thms det automata Sections AutomataTheory Doc

tlambda Def (x:T. b(x))(x) == b(x)

About:
!abstractionapply