diff options
Diffstat (limited to 'appendix.tex')
| -rw-r--r-- | appendix.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/appendix.tex b/appendix.tex index 8e30586..11607b0 100644 --- a/appendix.tex +++ b/appendix.tex @@ -1,5 +1,5 @@ \begin{lemma}\label{lemma:monotone} -The mechanism is monotone and budget feasible. +Our mechanism for \EDP{} is monotone and budget feasible. \end{lemma} \begin{proof} Consider an agent $i$ with cost $c_i$ that is |