OAI/Combinatorics/SharpRamsey/Spatial/PreparedSpatialRadial.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpLogRamsey.PreparedProjectiveGeometry.list_radial_exceptions line 23
2. theorem OAI.SharpLogRamsey.PreparedProjectiveGeometry.list_strong_exceptions line 50
3. theorem OAI.SharpLogRamsey.PreparedRadialResidual.residual_radial_exceptions line 71
4. theorem OAI.SharpLogRamsey.PreparedRadialResidual.residual_strong_exceptions line 101