Nuprl - finite_sets Thms for ge

finite sets Sections AutomataTheory Doc

Def i

j == j

i

In prior sections: int 2 list 1