OAI/Combinatorics/EditApproximation/Queries/QueryPhysicalReaderBounds.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.EditApproximation.reader_cost_sum line 7
2. theorem OAI.EditApproximation.queryMeanRead_bounds line 17
3. theorem OAI.EditApproximation.queryPhysicalWarmupRead_work_bound line 53
4. theorem OAI.EditApproximation.queryPhysicalCurrentRead_work_bound line 61
5. theorem OAI.EditApproximation.queryPhysicalEarlierRead_work_bound line 68
6. theorem OAI.EditApproximation.queryPhysicalMassRead_bounds line 87
7. theorem OAI.EditApproximation.queryPhysicalEarlierRead_width line 99
8. theorem OAI.EditApproximation.queryPhysicalEarlierRead_nonneg line 108