PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
surj
1
1
1
1
1.
n:
2.
k:
1
||nil|| = 0 & en(nil) = k
By:
RecUnfold `en` 0
THEN
Reduce 0
Generated subgoals:
None
About:
1
||nil|| = 0 & en(nil) = k
