mathlib

48e5c997 - feat (group_theory/amenable) : Extensions of amenable groups are amenable.