Theorem StrongRankCondition.of_isArtinian

Modification history

2025-12-19 08:36
Mathlib/RingTheory/Artinian/Instances.lean
feat(LinearAlgebra): more on StrongRankCondition (#32194) …
Added StrongRankCondition.of_isArtinianView on Github →