mathlib3
b88b078c - feat (group_theory/amenable) : Subgroups of amenable groups are amenable.

Commit

3 years ago

feat (group_theory/amenable) : Subgroups of amenable groups are amenable.

References

amenable_groups-sub2

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

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

Author

matthias567

matthias567

Parents

Loading