mathlib3
76b2a0ec - feat(group_theory/nilpotent): abelian iff nilpotency class ≤ 1 (#11718)

Commit

3 years ago

feat(group_theory/nilpotent): abelian iff nilpotency class ≤ 1 (#11718)

Author

nomeata

nomeata

Parents

Loading