OAI/Combinatorics/SharpRamsey/Trees/PivotIndexCost.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpLogRamsey.Validation.index_scheduleLength_le line 12
2. lemma OAI.SharpLogRamsey.Validation.scheduleCutoff_log line 21
3. theorem OAI.SharpLogRamsey.Validation.reciprocal_index_cost line 35
4. theorem OAI.SharpLogRamsey.Validation.local_index_budget line 46