OAI/Combinatorics/SharpRamsey/Model.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The finite-graph Ramsey number and its asymptotic bounds.

  1. def OAI.SharpLogRamsey.RamseyProperty line 9

    Also declared: ComparatorChallenges/SharpLogRamsey.lean:8 (same declaration text).

  2. def OAI.SharpLogRamsey.ramsey line 14

    Also declared: ComparatorChallenges/SharpLogRamsey.lean:13 (same declaration text).

  3. def OAI.SharpLogRamsey.MainBounds line 16

    Also declared: ComparatorChallenges/SharpLogRamsey.lean:16 (same declaration text).

  4. def OAI.SharpLogRamsey.MainLimit line 24

    Also declared: ComparatorChallenges/SharpLogRamsey.lean:25 (same declaration text).