OAI/Computability/MatchingCount/TerminalMincut.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinaryMatching.TerminalMincut.Separates line 11
2. def OAI.BinaryMatching.TerminalMincut.pairCuts line 14
3. def OAI.BinaryMatching.TerminalMincut.terminalCut line 19
4. lemma OAI.BinaryMatching.TerminalMincut.mem_pairCuts line 22
5. lemma OAI.BinaryMatching.TerminalMincut.pairCuts_nonempty line 31
6. lemma OAI.BinaryMatching.TerminalMincut.terminalCut_mem line 38
7. lemma OAI.BinaryMatching.TerminalMincut.terminalCut_correct line 46