OAI/Combinatorics/SharpRamsey/Parameters/IterationScales.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpLogRamsey.SourceScales.evenScale line 14
2. lemma OAI.SharpLogRamsey.SourceScales.evenScale_bounds line 16
3. def OAI.SharpLogRamsey.SourceScales.nextD line 27
4. lemma OAI.SharpLogRamsey.SourceScales.stage_next line 29
5. lemma OAI.SharpLogRamsey.SourceScales.nextD_lower line 36
6. theorem OAI.SharpLogRamsey.SourceScales.eventually_iteration_scales line 44
7. theorem OAI.SharpLogRamsey.SourceScales.eventually_initial_stage line 81