Theorem Submodule.rank_mono

Modification history

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