Theorem Finset.eq_zero_iff_eq_zero_of_mem_box

Modification history

2025-07-04 07:44
Mathlib/Order/Interval/Finset/Box.lean
chore: further whitespace fixes (#26708) …
Modified Finset.eq_zero_iff_eq_zero_of_mem_boxView on Github →
2024-05-02 16:47
Mathlib/Order/Interval/Finset/Box.lean
feat(Order/Interval/Finset/Box): add lemma (#12444) …
Added Finset.eq_zero_iff_eq_zero_of_mem_boxView on Github →