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

Commit

4 years ago

feat(group_theory/nilpotent): add antimono and functorial lemma for lower central series (#8853) Co-authored-by: ineswright <52750254+ineswright@users.noreply.github.com>

Author

ineswright

Parents

f0f6c1cc

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

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