mathlib3
feat (group_theory/amenable): Free groups are not amenable
#16580

Open

feat (group_theory/amenable): Free groups are not amenable #16580

matthias567 wants to merge 5 commits into master from amenable_groups-free

feat (group_theory/amenable) : define amenable groups

a5314494

feat (group_theory/amenable) : Finite groups are amenable.

b7a63e49

fix authors (s missing)

2b096c84

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

640d1e87

feat (group_theory/amenable): Free groups are not amenable.

b2718d04

matthias567 added awaiting-review

mathlib-dependent-issues-bot added blocked-by-other-PR

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

awaiting-review blocked-by-other-PR too-late

Milestone

No milestone