Mathlib Changelog
v4
Changelog
About
Github
Theorem
Module.rank_bot_le_rank_of_isScalarTower
Modification history
2025-05-19 06:33
Mathlib/LinearAlgebra/Dimension/Basic.lean
feat: miscellaneous lemmas about transcendence bases (#24344)
Added
Module.rank_bot_le_rank_of_isScalarTower
View on Github →