Theorem Finsupp.weight_single_one_apply

Modification history

2025-01-30 22:16
Mathlib/Data/Finsupp/Weight.lean
refactor(Data/Finsupp/Weight): generalize and add lemmas (#20635) …
Added Finsupp.weight_single_one_applyView on Github →