Theorem Submodule.rank_le

Modification history

2024-10-03 05:41
Mathlib/LinearAlgebra/Dimension/Basic.lean
chore: unify monotonicity of rank lemmas (#17292) …
Added Submodule.rank_leView on Github →