mathlib
d92be715 - feat (group_theory/amenable) : Finite groups are amenable

Commit

3 years ago

feat (group_theory/amenable) : Finite groups are amenable

References

#16695 - feat (group_theory/amenable) : Finite groups are amenable

Author

matthias567

matthias567

Committer

matthias567

matthias567

Parents

Loading