OAI/Combinatorics/SharpRamsey/Geometry/SourceRadialTests.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpLogRamsey.SourceRadialTests.exp_rat line 12
2. theorem OAI.SharpLogRamsey.SourceRadialTests.threshold_bounds line 15
3. theorem OAI.SharpLogRamsey.SourceRadialTests.rich_tests line 74
4. theorem OAI.SharpLogRamsey.SourceRadialTests.characteristic_test line 101
5. theorem OAI.SharpLogRamsey.SourceRadialTests.failure_test line 120