Thms nfa 1 Sections AutomataTheory Doc

lt_int Def i < z j == if i < j true ; false fi

Thm* i,j:. i < z j