OAI/Combinatorics/EditApproximation/Binary/BinaryBandStorage.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.EditApproximation.BinaryFraction.bandCoordinateAllocation line 9
2. def OAI.EditApproximation.BinaryFraction.bandCoordinateInvocations line 14
3. theorem OAI.EditApproximation.BinaryFraction.bandCoordinateAllocation_le_work line 19
4. theorem OAI.EditApproximation.BinaryFraction.bandCoordinateInvocations_le_work line 28
5. def OAI.EditApproximation.BinaryFraction.bandVerticesAllocation line 37
6. def OAI.EditApproximation.BinaryFraction.bandVerticesInvocations line 45
7. theorem OAI.EditApproximation.BinaryFraction.bandVerticesAllocation_le_work line 53
8. theorem OAI.EditApproximation.BinaryFraction.bandVerticesInvocations_le_work_add_one line 75