Thms
automata
6
Sections
AutomataTheory
Doc
tlambda
Def
(
x:T. b(x))(x) == b(x)
About:
x:T. b(x))(x) == b(x)
x:T. b(x))(x) == b(x)
