Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203)

From MaRDI portal
Revision as of 20:34, 5 December 2024 by Tconrad (talk | contribs) (‎Created claim: described at URL (P104): https://leanprover-community.github.io/mathlib4_docs/Mathlib/Combinatorics/Pigeonhole.html)
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
     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6534203&oldid=38020338"
      Powered by MediaWiki