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