mathlib3

0d2aa8cf - feat (group_theory/amenable) : Folner sequences, Folner amenability, example integers