Theorem Int.card_box

Modification history

2024-10-23 02:43
Mathlib/Order/Interval/Finset/Box.lean
chore: use newly introduced finset notation (#17974) …
Modified Int.card_boxView on Github →
2024-02-19 17:38
Mathlib/Data/Finset/LocallyFinite/Box.lean
feat: Boxes in locally finite ordered rings (#10506) …
Added Int.card_boxView on Github →