Theorem isNilpotent_of_finite_tFAE

Modification history

2024-06-05 09:14
Mathlib/GroupTheory/Nilpotent.lean
chore: fix name for isNilpotent_of_finite_tFAE (#13527)
Deleted isNilpotent_of_finite_tFAEView on Github →
2023-05-31 06:20
Mathlib/GroupTheory/Nilpotent.lean
feat: port GroupTheory.Nilpotent (#4472)
Added isNilpotent_of_finite_tFAEView on Github →