The Nonlinear Library - LW - Aumann-agreement is common by tailcalled
Sign in to continue reading, translating and more.
