https://arxiv.org/abs/1603.03806
[1603.03806] Mechanism Design for Subadditive Agents via an Ex-Ante Relaxation
Abstract page for arXiv paper 1603.03806: Mechanism Design for Subadditive Agents via an Ex-Ante Relaxation
mechanism design
https://leanprover-community.github.io/mathlib4_docs/Mathlib/Analysis/Subadditive.html
Mathlib.Analysis.Subadditive
mathlibanalysis