OAI/Geometry/CylinderCovering/Nilpotent/GridDefinitions.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.NilpotentGrid.Plane line 8
2. def OAI.NilpotentGrid.coarseCell line 10
3. def OAI.NilpotentGrid.gridBound line 14
4. def OAI.NilpotentGrid.indexRange line 16
5. def OAI.NilpotentGrid.candidates line 19
6. def OAI.NilpotentGrid.coarseIndices line 22
7. def OAI.NilpotentGrid.coarseUnion line 26