PrintForm
Definitions
automata
6
Sections
AutomataTheory
Doc
At:
auto
oddeven
wf
1
3
1.
n:
0 < (2
n)
By:
BackThru
Thm*
m:
, n:
. 0 < (m
n)
Generated subgoals:
None
About:
0 < (2
n)
m:, n:. 0 < (mn)
