OAI/Combinatorics/SharpRamsey/Execution/ExecutedOutputCount.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpLogRamsey.FreshExecution.keptCount line 14
2. lemma OAI.SharpLogRamsey.FreshExecution.fullOutput_length_accrued line 22
3. lemma OAI.SharpLogRamsey.FreshExecution.population_length_sum line 40
4. lemma OAI.SharpLogRamsey.FreshExecution.compatible_complement line 52
5. lemma OAI.SharpLogRamsey.FreshExecution.pivot_count_complement line 75
6. theorem OAI.SharpLogRamsey.FreshExecution.output_loss_eq_targets line 96