PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
enum
wf
q:
, l:
q*. enum(l)
By:
UnivCD
THEN
Unfold `enum` 0
THEN
BackThru
Thm*
n,m:
. n+m
Generated subgoals:
None
About:
q:
, l:q*. enum(l) 
n,m:. n+m 
