OAI/Combinatorics/CliqueFree/Deletion.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CliqueFreeIndependence.WeightedGraph.closedNeighbors line 19
2. lemma OAI.CliqueFreeIndependence.WeightedGraph.mem_closedNeighbors line 23
3. lemma OAI.CliqueFreeIndependence.WeightedGraph.mass_closedNeighbors line 28
4. lemma OAI.CliqueFreeIndependence.WeightedGraph.edgeMass_closedNeighbors line 33
5. lemma OAI.CliqueFreeIndependence.WeightedGraph.optimizer_deletion_cost line 62
6. lemma OAI.CliqueFreeIndependence.WeightedGraph.potential_induce line 91