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