Thms finite sets Sections AutomataTheory Doc

le Def AB == B < A

Thm* i,j:. ij Prop

not Def A == A False

Thm* (A) Prop