Exercises for the basic theory of group actions in Lean 3 - View it on GitHub