mathlib

c234c5a9 - feat (group_theory/amenable) : Quotients of amenable groups are amenable.