PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
nsub
is
finite
1
1
1
1.
n:
f:(
n
n). Bij(
n;
n; f)
By:
Witness Id
Generated subgoal:
1
Bij(
n;
n; Id)
About:
Bij(
n; n; Id) 
f:(n
n). Bij(n; n; f) Bij(n; n; Id)
