Thms finite sets Sections AutomataTheory Doc

nat_plus Def == {i:| 0 < i}

Thm* Type