Mathlib v3 is deprecated. Go to Mathlib v4

Theorem module.End.is_nilpotent.mapq

Modification history

2022-02-04 23:34
src/ring_theory/nilpotent.lean
feat(ring_theory/nilpotent): add lemma `module.End.is_nilpotent_mapq` (#11831) …
Added module.End.is_nilpotent.mapqView on Github →