OAI/Computability/MatchingCount/RawFlowSize.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BinaryMatching.Raw.nth_property line 10
  2. def OAI.BinaryMatching.Raw.MatrixBound line 17
  3. def OAI.BinaryMatching.Raw.Square line 19
  4. lemma OAI.BinaryMatching.Raw.matrix_square line 21
  5. lemma OAI.BinaryMatching.Raw.matrix_bound line 28
  6. lemma OAI.BinaryMatching.Raw.get_abs_bound line 35
  7. lemma OAI.BinaryMatching.Raw.matrix_bound_code line 43
  8. lemma OAI.BinaryMatching.Raw.pathFlow_abs line 55
  9. lemma OAI.BinaryMatching.Raw.search_path_bound line 73
  10. lemma OAI.BinaryMatching.Raw.augment_bound line 81
  11. lemma OAI.BinaryMatching.Raw.augment_square line 94
  12. lemma OAI.BinaryMatching.Raw.flow_bound line 101
  13. lemma OAI.BinaryMatching.Raw.flow_square line 109
  14. lemma OAI.BinaryMatching.Raw.flow_code_bound line 113