Commit 2023-12-20 12:26 f1c7086b

View on Github →

chore(LinearAlgebra): remove some StrongRankCondition (#9152)

Estimated changes

Modified Mathlib/LinearAlgebra/FreeModule/Finite/Rank.lean

modified theorem Submodule.finrank_eq_zero

modified theorem Submodule.rank_eq_zero