Theorem Finset.disjoint_box_succ_prod

Modification history

2024-02-19 17:38
Mathlib/Data/Finset/LocallyFinite/Box.lean
feat: Boxes in locally finite ordered rings (#10506) …
Added Finset.disjoint_box_succ_prodView on Github →