OAI/Geometry/HeilbronnTriangle/AuxiliaryAffineWeights.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.AuxiliaryWeights.sum_uniform_indicator line 13
2. theorem OAI.Problem355.AuxiliaryWeights.affine_pair_normalization line 21
3. theorem OAI.Problem355.AuxiliaryWeights.affine_singleton_normalization line 35
4. theorem OAI.Problem355.AuxiliaryWeights.affine_pair_weight_le_four line 48
5. theorem OAI.Problem355.AuxiliaryWeights.affine_singleton_weight_le_two line 80
6. def OAI.Problem355.AuxiliaryWeights.affineInclusionWeight line 110
7. theorem OAI.Problem355.AuxiliaryWeights.affineInclusionWeight_nonneg line 117
8. theorem OAI.Problem355.AuxiliaryWeights.affineInclusionWeight_eq_uniform_sum line 125
9. theorem OAI.Problem355.AuxiliaryWeights.affineInclusionWeight_le_eight line 157
10. theorem OAI.Problem355.AuxiliaryWeights.affineInclusionWeight_le_four_of_ne line 165
11. theorem OAI.Problem355.AuxiliaryWeights.affineInclusionWeight_le_two line 193