OAI/Combinatorics/EditApproximation/Coarse/CoarseAccessControlSpace.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.EditApproximation.saturatingSubtractInvocations line 9
  2. theorem OAI.EditApproximation.saturatingSubtractInvocations_le_work line 14
  3. def OAI.EditApproximation.coarseDescriptorInvocations line 22
  4. theorem OAI.EditApproximation.coarseDescriptorInvocations_le_work line 26
  5. def OAI.EditApproximation.coarseChildOffsetInvocations line 36
  6. theorem OAI.EditApproximation.coarseChildOffsetInvocations_le_work line 40
  7. def OAI.EditApproximation.coarsePaddedReadInvocations line 49
  8. theorem OAI.EditApproximation.coarsePaddedReadInvocations_le_work line 51
  9. def OAI.EditApproximation.coarseFramedReadInvocations line 58
  10. theorem OAI.EditApproximation.coarseFramedReadInvocations_le_work line 66
  11. def OAI.EditApproximation.coarseLetterMatchInvocations line 76
  12. theorem OAI.EditApproximation.coarseLetterMatchInvocations_le_work line 80
  13. def OAI.EditApproximation.BinaryFraction.coarseReadShiftInvocations line 96
  14. theorem OAI.EditApproximation.BinaryFraction.coarseReadShiftInvocations_le_work line 106