Mathlib Changelog
v4
Changelog
About
Github
Theorem
LinearMap.eventually_disjoint_ker_pow_range_pow
Modification history
2024-11-11 10:06
Mathlib/RingTheory/Noetherian/Defs.lean
chore(RingTheory/Noetherian): split `Noetherian.lean` (#18734) …
Modified
LinearMap.eventually_disjoint_ker_pow_range_pow
View on Github →
2023-10-10 23:14
Mathlib/RingTheory/Noetherian.lean
feat: improve API for Fitting decomposition of a linear endomorphism (#7487) …
Added
LinearMap.eventually_disjoint_ker_pow_range_pow
View on Github →