Mathlib Changelog
v4
Changelog
About
Github
Theorem
LinearMap.exists_linearEquiv_eq_graph
Modification history
2024-11-25 15:32
Mathlib/LinearAlgebra/Prod.lean
feat: vertical line test for functions, group homs, linear maps (#18822) …
Added
LinearMap.exists_linearEquiv_eq_graph
View on Github →