Thms
finite
sets
Sections
AutomataTheory
Doc
not
Def
A == A
False
Thm* (
A)
Prop