Theorem strongRankCondition_iff_forall_rank_lt_aleph0

Modification history

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