Ergodic optimal liquidations in DeFi | Arena Library | Arena