OAI/Computability/VertexCover/Analysis/FiniteMeanConditionBest.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.Average.finiteMean_finset line 41
2. theorem OAI.VertexCover.Average.finiteMean_condition_mul line 47
3. theorem OAI.VertexCover.Average.finiteMean_condition_orthogonal line 62
4. theorem OAI.VertexCover.Average.finiteMean_const_mul line 71
5. theorem OAI.VertexCover.Average.finiteMean_sq_nonneg line 77
6. theorem OAI.VertexCover.Average.finiteMean_condition_pythagoras line 81
7. theorem OAI.VertexCover.Average.finiteMean_condition_best line 98