OAI/Combinatorics/SharpRamsey/Geometry/RadialExceptions.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpLogRamsey.RadialExceptions.count_exception line 13
2. theorem OAI.SharpLogRamsey.RadialExceptions.radial_exceptions line 22
3. theorem OAI.SharpLogRamsey.RadialExceptions.strong_exceptions line 60
4. theorem OAI.SharpLogRamsey.PreparedProjectiveGeometry.richRadials_mul_le line 94
5. theorem OAI.SharpLogRamsey.PreparedProjectiveGeometry.sum_richRadials_le_pairs line 107