Theorem Finsupp.llift_apply

Modification history

2023-03-28 21:34
Mathlib/LinearAlgebra/Finsupp.lean
feat: forward-port leanprover-community/mathlib#18159 (#3154)
Added Finsupp.llift_applyView on Github →