Commit 2024-05-02 16:47 45bd0a21
View on Github →feat(Order/Interval/Finset/Box): add lemma (#12444)
Add eq_zero_iff_eq_zero_of_mem_box lemma needed for #10377
feat(Order/Interval/Finset/Box): add lemma (#12444)
Add eq_zero_iff_eq_zero_of_mem_box lemma needed for #10377