Theorem DFinsupp.mapRange_injective

Modification history

2025-01-02 11:03
Mathlib/Data/DFinsupp/Defs.lean
feat(Algebra): auxiliary lemmas for flatness over semirings (#20265)
Added DFinsupp.mapRange_injectiveView on Github →