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

Commit

3 years ago

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

References

amenable_groups-free

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

Author

matthias567

matthias567

Parents

Loading