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