OAI/Combinatorics/RamseyFive/Geometry/ModifiedRadialSchedule.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.ScoreGeometry.modifiedRadialSchedule line 19
2. lemma OAI.SharpRamseyFive.ScoreGeometry.original_weighted_radial_moment line 25
3. theorem OAI.SharpRamseyFive.ScoreGeometry.actual_original_weighted line 40
4. theorem OAI.SharpRamseyFive.ScoreGeometry.measurePreserving_modifiedRadial line 66
5. theorem OAI.SharpRamseyFive.ScoreGeometry.original_truncation_failure line 82
6. theorem OAI.SharpRamseyFive.ScoreGeometry.original_truncated_moment line 93