OAI/Geometry/HeilbronnTriangle/TripleEnumeration.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Problem355.NormDecomposition.IncreasingTriple line 14
2. def OAI.Problem355.NormDecomposition.tripleToSet line 17
3. def OAI.Problem355.NormDecomposition.tripleFromSet line 22
4. theorem OAI.Problem355.NormDecomposition.triple_vector_strictMono line 28
5. theorem OAI.Problem355.NormDecomposition.tripleFromSet_tripleToSet line 36
6. theorem OAI.Problem355.NormDecomposition.tripleToSet_tripleFromSet line 51
7. def OAI.Problem355.NormDecomposition.tripleSetEquiv line 57
8. theorem OAI.Problem355.NormDecomposition.card_increasingTriple line 65
9. def OAI.Problem355.NormDecomposition.increasingTripleEquivFin line 69
10. theorem OAI.Problem355.NormDecomposition.increasingSum_eq_sum_triples line 75
11. theorem OAI.Problem355.NormDecomposition.increasingSum_eq_sum_fin line 84
12. def OAI.Problem355.NormDecomposition.decompositionRows line 92
13. theorem OAI.Problem355.NormDecomposition.alternating_sum_eq_sum_determinants line 98