PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
bool
is
finite
1
1
1
2
1
1
2
1
1
1.
b:
2.
b = true
false
= b
By:
Inst
Thm*
b:
. b = true
b = false
[b]
Generated subgoal:
1
3.
b = true
b = false
false
= b
About: