OAI/Combinatorics/RamseyFive/Geometry/MomentCutoffPolynomialTail.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpRamseyFive.DyadicMoments.moment_cutoff_polynomial_tail line 17
2. lemma OAI.SharpRamseyFive.ScoreGeometry.radial_tail_le_localLines line 72
3. lemma OAI.SharpRamseyFive.ScoreGeometry.global_radial_tail line 95
4. theorem OAI.SharpRamseyFive.ScoreGeometry.global_radial_moment line 113