OAI/Combinatorics/ThinTrees/Model.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.StrongThinTree.MultiGraph line 7

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:9 (same declaration text), ComparatorChallenges/StrongThinTree.lean:7 (same declaration text).

  2. def OAI.StrongThinTree.MultiGraph.cut line 14

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:16 (same declaration text), ComparatorChallenges/StrongThinTree.lean:14 (same declaration text).

  3. def OAI.StrongThinTree.MultiGraph.Connected line 19

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:21 (same declaration text), ComparatorChallenges/StrongThinTree.lean:19 (same declaration text).

  4. def OAI.StrongThinTree.MultiGraph.SpanningTree line 22

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:24 (same declaration text), ComparatorChallenges/StrongThinTree.lean:22 (same declaration text).

  5. def OAI.StrongThinTree.MultiGraph.EdgeConnected line 25

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:27 (same declaration text), ComparatorChallenges/StrongThinTree.lean:25 (same declaration text).

  6. def OAI.StrongThinTree.MainStatement line 31

    Also declared: ComparatorChallenges/StrongThinTree.lean:31 (same declaration text).