Vadim Kosoy Deleted File  about 8 years ago

Commit id: d253b5cef15bb8e8fec14f92541f9cfb1fb4e573

deletions | additions      

         

The following notation will be handy:  \begin{definition}  Given $n,m \in \Nats$, $\Gamma$ a growth space of type $(n,m)$ and $i \in \Nats$, $1 \leq i \leq m$, $\Gamma_m$ denotes the set $\{\gamma: \Nats^n \rightarrow \Nats \mid \exists \bar{\gamma} \in \Gamma: \gamma = \bar{\gamma}_m\}$. It is easy to see $\Gamma_m$ is a growth space of type $(n,1)$.  \end{definition}