Mathlib Changelog
v4
Changelog
About
Github
Theorem
surjective_algebraMap_of_linearMap
Modification history
2024-05-24 11:39
Mathlib/Algebra/Algebra/Basic.lean
feat(LinearAlgebra/FiniteDimensional): relax condition of results regarding subalgebra = bot (#12849) …
Added
surjective_algebraMap_of_linearMap
View on Github →