Theorem Finsupp.not_mem_neLocus

Modification history

2025-05-25 12:30
Mathlib/Data/Finsupp/NeLocus.lean
chore(*): not_mem/nmem -> notMem (#25159)
Deleted Finsupp.not_mem_neLocusView on Github →
2023-01-30 02:58
Mathlib/Data/Finsupp/NeLocus.lean
feat: Port Data.Finsupp.NeLocus (#1935)
Added Finsupp.not_mem_neLocusView on Github →