OAI/Combinatorics/EditApproximation/Queries/QueryGatherSpace.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.EditApproximation.BinaryFraction.queryParentReadAllocation_le_work line 19
2. theorem OAI.EditApproximation.BinaryFraction.queryBandInputsAllocation_le_work line 26
3. theorem OAI.EditApproximation.BinaryFraction.queryWarmupInputsAllocation_le_work line 41
4. def OAI.EditApproximation.queryInitialGatherHeap line 57
5. def OAI.EditApproximation.queryBandGatherHeap line 69
6. def OAI.EditApproximation.queryGroupSourceGatherHeap line 83
7. def OAI.EditApproximation.queryOnlineSourceGatherHeap line 97