PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
nat
add
n,m:
. n+m
By:
UnivCD
Generated subgoal:
1
1.
n:
2.
m:
n+m
About:
n+m 
n,m:. n+m n+m 
