mathlib3

feat (group_theory/amenable) : Quotients of amenable groups are amenable

#16575

Open