mathlib3

feat (group_theory/amenable) : Subgroups of Amenable Groups are Amenable

#16576

Open