Theorem Finsupp.zipWith_neLocus_eq_left

Modification history

2023-01-30 02:58
Mathlib/Data/Finsupp/NeLocus.lean
feat: Port Data.Finsupp.NeLocus (#1935)
Added Finsupp.zipWith_neLocus_eq_leftView on Github →