OAI/Combinatorics/EditApproximation/Queries/QueryContinuationSpace.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.EditApproximation.BinaryFraction.endpointActionAllocation_le_work line 14
2. theorem OAI.EditApproximation.BinaryFraction.wideActionsFromRepresentativesAllocation_le_work line 24
3. theorem OAI.EditApproximation.BinaryFraction.physicalContinuationReadAllocation_le_work line 39
4. theorem OAI.EditApproximation.BinaryFraction.queryRefinementFinishAllocation_le_work line 61
5. theorem OAI.EditApproximation.BinaryFraction.localWarmupReadAllocation_le_work line 87