OAI/Computability/MatchingCount/RawOptimizerRows.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BinaryMatching.Raw.Optimize.capacities line 11
  2. lemma OAI.BinaryMatching.Raw.Optimize.capacities_rep line 13
  3. def OAI.BinaryMatching.Raw.Optimize.zeroRow line 19
  4. def OAI.BinaryMatching.Raw.Optimize.degreeRow line 20
  5. def OAI.BinaryMatching.Raw.Optimize.cutRow line 23
  6. lemma OAI.BinaryMatching.Raw.Optimize.zeroRow_rep line 26
  7. lemma OAI.BinaryMatching.Raw.Optimize.degreeRow_rep line 32
  8. lemma OAI.BinaryMatching.Raw.Optimize.cutRow_rep line 38
  9. def OAI.BinaryMatching.Raw.Optimize.rows line 45
  10. lemma OAI.BinaryMatching.Raw.Optimize.rows_rep line 48
  11. lemma OAI.BinaryMatching.Raw.Optimize.argmax_map line 61
  12. def OAI.BinaryMatching.Raw.Optimize.selectedRow line 65
  13. lemma OAI.BinaryMatching.Raw.Optimize.selectedRow_rep line 67