mathlib3
feat (group_theory/amenable) : Subgroups of Amenable Groups are Amenable
#16576
Open
Overview
Commits
5
Changes
View On GitHub

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

matthias567 wants to merge 5 commits into master from amenable_groups-sub2
matthias567
matthias567 feat (group_theory/amenable) : define amenable groups
a5314494
matthias567 feat (group_theory/amenable) : Finite groups are amenable.
b7a63e49
matthias567 fix authors (s missing)
2b096c84
matthias567 feat (group_theory/amenable) : Quotients of amenable groups are amena…
640d1e87
matthias567 feat (group_theory/amenable) : Subgroups of amenable groups are amena…
b88b078c
matthias567 matthias567 added awaiting-review
mathlib-dependent-issues-bot mathlib-dependent-issues-bot added blocked-by-other-PR
mathlib-dependent-issues-bot
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
awaiting-review blocked-by-other-PR too-late
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum