Thms
nfa
1
Sections
AutomataTheory
Doc
lt_int
Def
i < z j == if i < j
true
; false
fi
Thm*
i,j:
. i < z j