Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings

From MaRDI portal
Revision as of 20:44, 5 December 2024 by Tconrad (talk | contribs) (Created page with "{{Theorem}}")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)



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=38020340"
Powered by MediaWiki