PrintForm Definitions finite sets Sections AutomataTheory Doc

At: nsub is finite 1 1 1 1
1. n:

Bij(n; n; Id)
By: Analyze 0
Generated subgoals:

1 Inj(n; n; Id)
2 Surj(n; n; Id)

About:
natural_number