Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings
From MaRDI portal
Theorem:6534203
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
