mathlib3
feat (group_theory/amenable) : Extensions of Amenable groups are amenable
#16578

Open

Commits

feat (group_theory/amenable) : define amenable groups

matthias567 committed 3 years ago
feat (group_theory/amenable) : Finite groups are amenable.

matthias567 committed 3 years ago
fix authors (s missing)

matthias567 committed 3 years ago
feat (group_theory/amenable) : Quotients of amenable groups are amenable.

matthias567 committed 3 years ago
feat (group_theory/amenable) : Subgroups of amenable groups are amenable.

matthias567 committed 3 years ago
feat (group_theory/amenable) : Extensions of amenable groups are amenable.

matthias567 committed 3 years ago