OAI/Combinatorics/RamseyFive/Geometry/PointStrength.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.ScoreGeometry.pointStrength line 20
2. lemma OAI.SharpRamseyFive.ScoreGeometry.coe_pointStrength line 24
3. lemma OAI.SharpRamseyFive.ScoreGeometry.mass_outside_pencil line 29
4. theorem OAI.SharpRamseyFive.ScoreGeometry.actual_radial_mass_bounds line 39
5. theorem OAI.SharpRamseyFive.ScoreGeometry.actual_radial_variance line 53
6. theorem OAI.SharpRamseyFive.ScoreGeometry.actual_validation_second line 66