Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-04-25 14:35 5df2ee70

View on Github →

style(group_theory): move free_group from algebra to group_theory

Estimated changes