Mathlib v3 is deprecated. Go to Mathlib v4

Theorem strong_rank_condition_iff_succ

Modification history

2021-09-23 16:42
src/linear_algebra/invariant_basis_number.lean
feat(linear_algebra/invariant_basis_number): strong_rank_condition_iff_succ (#9128) …
Added strong_rank_condition_iff_succView on Github →