Thms nfa 1 Sections AutomataTheory Doc

gt Def i > j == j < i

Thm* i,j:. i > j Prop

About:
!abstractionless_thanallintmemberprop