Theorem sub_one_dvd_pow_sub_one

Modification history

2023-09-04 13:18
Mathlib/Algebra/GeomSum.lean
feat: nilpotent matrices have nilpotent trace (#6588) …
Added sub_one_dvd_pow_sub_oneView on Github →