OAI/Combinatorics/EditApproximation/Binary/BinaryLocalGroupSourceSpace.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.EditApproximation.transportedSourceAllocation_le line 13
  2. def OAI.EditApproximation.BinaryFraction.preparedComputedCellSourceAllocation line 36
  3. theorem OAI.EditApproximation.BinaryFraction.preparedComputedCellSourceAllocation_le_work line 47
  4. def OAI.EditApproximation.BinaryFraction.castGroupSourceAllocation line 73
  5. theorem OAI.EditApproximation.BinaryFraction.castGroupSourceAllocation_le line 79
  6. def OAI.EditApproximation.BinaryFraction.preparedLocalGroupScaleSourceAllocation line 85
  7. theorem OAI.EditApproximation.BinaryFraction.preparedLocalGroupScaleSourceAllocation_le_work line 101
  8. def OAI.EditApproximation.BinaryFraction.localGroupSourceScaleBlock line 134
  9. def OAI.EditApproximation.BinaryFraction.localGroupSourceScaleBlockAllocation line 143
  10. theorem OAI.EditApproximation.BinaryFraction.localGroupSourceScaleBlockAllocation_le_work line 151
  11. def OAI.EditApproximation.BinaryFraction.preparedLocalCellGroupsSourceAllocation line 175
  12. theorem OAI.EditApproximation.BinaryFraction.preparedLocalCellGroupsSourceAllocation_le_work line 185