OAI/Combinatorics/SharpRamsey/Parameters/HeavyPlaneScales.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpLogRamsey.SourceScales.dyadic_class_count line 11
2. theorem OAI.SharpLogRamsey.SourceScales.eventually_heavy_loss line 19