All AMMs are CFMMs. All DeFi markets have invariants. A DeFi market is arbitrage-free if and only if it has an increasing invariant

Roger Lee

In a universal framework that expresses any market system in terms of state transition rules, we prove that every DeFi market system has an invariant function and is thus by defini…