Commit 2023-03-28 21:34 2606cd8e

View on Github →

feat: forward-port leanprover-community/mathlib#18159 (#3154)

Estimated changes

Modified Mathlib/CategoryTheory/Linear/Basic.lean

added def CategoryTheory.Linear.homCongr

added theorem CategoryTheory.Linear.homCongr_apply

added theorem CategoryTheory.Linear.homCongr_symm_apply

Modified Mathlib/LinearAlgebra/Finsupp.lean

added theorem Finsupp.llift_apply

added theorem Finsupp.llift_symm_apply