OAI/Geometry/KahlerSplitting/Grid.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RectangleGrid.band line 12
2. structure OAI.RectangleGrid.Band line 14
3. theorem OAI.RectangleGrid.band_extend line 24
4. theorem OAI.RectangleGrid.diagonal_grid line 107
5. def OAI.IntervalChain.cell line 159
6. lemma OAI.IntervalChain.overlap line 161
7. lemma OAI.IntervalChain.covers line 184
8. theorem OAI.PathSubdivision.parameterize line 214
9. theorem OAI.RectangleGrid.row line 244
10. theorem OAI.RectangleGrid.grid line 270