OAI/Combinatorics/CliqueFree/OptimizerBounds.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CliqueFreeIndependence.WeightedGraph.sum_log_le_log_sum line 18
2. lemma OAI.CliqueFreeIndependence.WeightedGraph.card_neighbors line 24
3. lemma OAI.CliqueFreeIndependence.WeightedGraph.sum_neighborMass line 29
4. lemma OAI.CliqueFreeIndependence.WeightedGraph.optimizer_total_weight line 42
5. lemma OAI.CliqueFreeIndependence.WeightedGraph.optimizer_edge_bound line 81