PrintForm Definitions finite sets Sections AutomataTheory Doc

At: nsub is finite

n:. Fin(n)
By: Analyze 0
Generated subgoal:

11. n:
Fin(n)

About:
allnatural_number