OAI/Combinatorics/EditApproximation/Specification/RawBandBridges.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.EditApproximation.filterMapWithWork_map_raw line 6
  2. theorem OAI.EditApproximation.filterMapAllocation_map_raw line 17
  3. theorem OAI.EditApproximation.BinaryFraction.scoredArgmaxWithWork_map_raw line 29
  4. theorem OAI.EditApproximation.BinaryFraction.selectGroupWithWork_map_raw line 44
  5. theorem OAI.EditApproximation.BinaryFraction.scoredArgmaxAllocation_map_raw line 58
  6. theorem OAI.EditApproximation.BinaryFraction.selectGroupAllocation_map_raw line 68
  7. theorem OAI.EditApproximation.BinaryFraction.unskippedEstimateReadWithWorkRaw_eq line 88
  8. theorem OAI.EditApproximation.BinaryFraction.unskippedEstimateSourceWithWorkRaw_eq line 93
  9. theorem OAI.EditApproximation.BinaryFraction.chooseUnskippedReadWithWorkRaw_eq line 98
  10. theorem OAI.EditApproximation.BinaryFraction.chooseUnskippedSourceWithWorkRaw_eq line 106
  11. theorem OAI.EditApproximation.BinaryFraction.sampledGroupActionReadWithWorkRaw_eq line 114
  12. theorem OAI.EditApproximation.BinaryFraction.sampledGroupActionSourceWithWorkRaw_eq line 126
  13. theorem OAI.EditApproximation.BinaryFraction.unskippedEstimateSourceAllocationRaw_eq line 138
  14. theorem OAI.EditApproximation.BinaryFraction.chooseUnskippedSourceAllocationRaw_eq line 144
  15. theorem OAI.EditApproximation.BinaryFraction.sampledGroupActionSourceAllocationRaw_eq line 151