Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-07 03:49 d2625006

View on Github →

feat(group_theory/nilpotent): add antimono and functorial lemma for lower central series (#8853)

Estimated changes