OAI/Combinatorics/SharpRamsey/Bounds/
90 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Files
- FromConstruction.lean 2 declarations
- Lower.lean 8 declarations
- SamplingParameter.lean 8 declarations
- SumFiberCenter.lean 23 declarations
- Upper.lean 49 declarations