Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
linear_map.coe_proj
Modification history
2021-04-03 16:38
src/linear_algebra/pi.lean
chore(linear_algebra): fix/add `coe_fn` simp lemmas (#7015) …
Added
linear_map.coe_proj
View on Github →