Theorem DFinsupp.finite_support

Modification history

2024-03-31 21:48
Mathlib/Data/DFinsupp/Basic.lean
chore(DFinsupp/Basic): drop a `DecidableEq` assumption (#11795) …
Modified DFinsupp.finite_supportView on Github →
2023-07-12 02:40
Mathlib/Data/DFinsupp/Basic.lean
chore: rename `Dfinsupp` to `DFinsupp` (#5822) …
Added DFinsupp.finite_supportView on Github →