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)
Added isNilpotent_of_finite_tfaeView on Github →