Theorem DFinsupp.support_subset_iff

Modification history

2023-12-25 13:26

Mathlib/Data/DFinsupp/Basic.lean

chore(*): use `∃ x ∈ s, _` instead of `∃ (x) (_ : x ∈ s), _` (#9215) …

Modified DFinsupp.support_subset_iff View on Github →

2023-07-12 02:40

Mathlib/Data/DFinsupp/Basic.lean

chore: rename `Dfinsupp` to `DFinsupp` (#5822) …

Added DFinsupp.support_subset_iff View on Github →