Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-03-10 13:38 b97b7c38

View on Github →

feat(group_theory): add a little bit of group theory; prove of Lagrange's theorem

Estimated changes