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