Mathlib Changelog
v4
Changelog
About
Github
Theorem
Prod.card_box_succ
Modification history
2024-02-19 17:38
Mathlib/Data/Finset/LocallyFinite/Box.lean
feat: Boxes in locally finite ordered rings (#10506) …
Added
Prod.card_box_succ
View on Github →