OAI/Geometry/CylinderCovering/Barycentric/SectorNeighborhood.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RadialCoordinates.BarycentricSector.nearby_sector_point_in_triangle line 13
2. theorem OAI.RadialCoordinates.BarycentricSector.neighborhood_subset_triangle line 98
3. def OAI.RadialCoordinates.BarycentricSector.triangleCoordinateMap line 108
4. theorem OAI.RadialCoordinates.BarycentricSector.triangleCoordinateMap_det line 112
5. theorem OAI.RadialCoordinates.BarycentricSector.triangleChart_volume line 116
6. theorem OAI.RadialCoordinates.BarycentricSector.neighborhoodTriangle_volume line 132
7. theorem OAI.RadialCoordinates.BarycentricSector.neighborhoodTriangle_area line 142
8. theorem OAI.RadialCoordinates.BarycentricSector.neighborhood_isCompact line 148
9. theorem OAI.RadialCoordinates.BarycentricSector.neighborhood_area_le line 153
10. theorem OAI.RadialCoordinates.BarycentricSector.neighborhood_area_error line 161
11. theorem OAI.RadialCoordinates.BarycentricSector.intercepted_area_bound line 185