| changeset 94 | 38ceade5cc5d |
| parent 83 | 62cd552bf8c9 |
| child 98 | ec3af8dfcb3c |
| 93:9c181ef9c5fd | 94:38ceade5cc5d |
|---|---|
835 \label{sec:evaluation} |
835 \label{sec:evaluation} |
836 \input{text/evmap} |
836 \input{text/evmap} |
837 |
837 |
838 |
838 |
839 |
839 |
840 |
840 \input{text/ncat.tex} |
841 |
841 |
842 \input{text/A-infty.tex} |
842 \input{text/A-infty.tex} |
843 |
843 |
844 \input{text/gluing.tex} |
844 \input{text/gluing.tex} |
845 |
845 |