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

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