Theorem Module.lift_rank_bot_le_lift_rank_of_isScalarTower

Modification history

2025-05-19 06:33
Mathlib/LinearAlgebra/Dimension/Basic.lean
feat: miscellaneous lemmas about transcendence bases (#24344)
Added Module.lift_rank_bot_le_lift_rank_of_isScalarTowerView on Github →