Theorem Finsupp.optionElim_zero

Modification history

2025-11-27 08:19

Mathlib/Data/Finsupp/Option.lean

feat(Data/Finsupp/Basic): Finsupp.optionElim (#25920) …

Added Finsupp.optionElim_zero View on Github →