OAI/Combinatorics/SharpRamsey/Learning/PreparedOverlapBounds.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpLogRamsey.PreparedProjectiveGeometry.pairs_of_radial_bound line 24
2. lemma OAI.SharpLogRamsey.PreparedProjectiveGeometry.neighbors_empty_of_radials line 47
3. theorem OAI.SharpLogRamsey.PreparedProjectiveGeometry.list_overlap_exceptions line 62