OAI/Analysis/Triangular/Signs/SineGridCover.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.unit_grid_cover line 9
2. lemma OAI.AtomicTriangular.Construction.cell_displacement line 23
3. def OAI.AtomicTriangular.Construction.localBoundary line 39
4. lemma OAI.AtomicTriangular.Construction.local_boundary_end line 41
5. lemma OAI.AtomicTriangular.Construction.local_boundary_geometry line 42
6. lemma OAI.AtomicTriangular.Construction.local_halfGap_cover line 56