Thms relation autom Sections AutomataTheory Doc

decidable Def Dec(P) == P P

Thm* Dec(A) Prop

not Def A == A False

Thm* (A) Prop