Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203)
From MaRDI portal
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings |
No description defined |
Statements
P1645 (Deleted Property)
Combinatorics/Pigeonhole.lean Property P1645 not found, cannot determine the data type to use.
0 references
