mathlib3

5dced829 - feat (group_theory/amenable) : Folner sequences, Folner amenability, example integers