Theorem Finsupp.optionElim_ne_zero_of_right

Modification history

2025-11-27 08:19
Mathlib/Data/Finsupp/Option.lean
feat(Data/Finsupp/Basic): Finsupp.optionElim (#25920) …
Added Finsupp.optionElim_ne_zero_of_rightView on Github →