Thms relation autom Sections AutomataTheory Doc

int_upper Def {i...} == {j:| ij}

Thm* n:. {n...} Type

le Def AB == B < A

Thm* i,j:. ij Prop

not Def A == A False

Thm* (A) Prop