OAI/Combinatorics/EditApproximation/Binary/BinaryLocalOnlineSourceSpace.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.EditApproximation.BinaryFraction.preparedLocalOnlineScaleSourceAllocation line 22
2. theorem OAI.EditApproximation.BinaryFraction.preparedLocalOnlineScaleSourceAllocation_le_work line 34
3. def OAI.EditApproximation.BinaryFraction.preparedLocalOnlineActionsSourceAllocation line 72
4. theorem OAI.EditApproximation.BinaryFraction.preparedLocalOnlineActionsSourceAllocation_le_work line 82