Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings

From MaRDI portal
Revision as of 15:25, 6 December 2024 by EloiFerrer (talk | contribs) (Created page with "{{Theorem}}")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Theorem:6534203



MaRDI QIDQ6534203



Described at URL: https://leanprover-community.github.io/mathlib4_docs/Mathlib/Combinatorics/Pigeonhole.html


This page was built for theorem: Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Theorem:6534203&oldid=38020407"
Powered by MediaWiki