OAI/Geometry/SingularHomology/SubdivisionSupportMesh.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem340.SingularSubdivision.barycentricCenters line 14
2. lemma OAI.Problem340.SingularSubdivision.mem_support_linearCombination line 17
3. lemma OAI.Problem340.SingularSubdivision.mem_support_cone line 26
4. lemma OAI.Problem340.SingularSubdivision.barycentricCenters_zero line 34
5. lemma OAI.Problem340.SingularSubdivision.subdivision_barycentric_one line 38
6. theorem OAI.Problem340.SingularSubdivision.subdivision_support_barycentricCell line 48
7. theorem OAI.Problem340.SingularSubdivision.subdivision_support_carrier line 67
8. theorem OAI.Problem340.SingularSubdivision.subdivision_support_diam_le line 73