Skip to content

feat(Order/Interval/Finset): Set.ncard lemmas for LocallyFiniteOrder#39783

Open
SnirBroshi wants to merge 2 commits into
leanprover-community:masterfrom
SnirBroshi:feature/locally-finite-order/set-ncard-lemmas
Open

feat(Order/Interval/Finset): Set.ncard lemmas for LocallyFiniteOrder#39783
SnirBroshi wants to merge 2 commits into
leanprover-community:masterfrom
SnirBroshi:feature/locally-finite-order/set-ncard-lemmas

Commits

Commits on May 24, 2026