Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203): Difference between revisions

From MaRDI portal
Removed claim: Property:P1645: Combinatorics/Pigeonhole.lean (Property P1645 not found, cannot determine the data type to use.)
 
(4 intermediate revisions by one other user not shown)
Property / described at URL
 
Property / described at URL: https://leanprover-community.github.io/mathlib4_docs/Mathlib/Combinatorics/Pigeonhole.html / rank
 
Normal rank
Property / instance of
 
Property / instance of: theorem / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 21:41, 6 December 2024

No description defined
Language Label Description Also known as
English
Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings
No description defined

    Statements