OAI/Combinatorics/EditApproximation/Binary/BinaryInitialReadSpace.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.EditApproximation.BinaryFraction.initialGridReadAllocation_le_work line 14
2. theorem OAI.EditApproximation.BinaryFraction.initialCentersReadAllocation_le_work line 32
3. theorem OAI.EditApproximation.BinaryFraction.initialConeReadAllocation_le_work line 51
4. theorem OAI.EditApproximation.BinaryFraction.initialMinimumReadAllocation_le_work line 63
5. theorem OAI.EditApproximation.BinaryFraction.initialProgramReadAllocation_le_work line 85
6. theorem OAI.EditApproximation.BinaryFraction.cachedInitialProgramReadAllocation_le_work line 98