OAI/Geometry/PlaneColoring/
1176 declarations, 0 contain sorry, 0 declared as axioms; 46 files
Files
- Accumulation.lean 33 declarations
- AngularBoundary.lean 55 declarations
- Assembly.lean 1 declarations
- Basic.lean 8 declarations
- BinaryDynamics.lean 43 declarations
- BinaryPalettes.lean 35 declarations
- BorelTransfer.lean 54 declarations
- BoundaryTrace.lean 13 declarations
- CircleMaps.lean 63 declarations
- CircleTransport.lean 27 declarations
- Coloring.lean 11 declarations
- Compactness.lean 51 declarations
- ContinuumLimits.lean 24 declarations
- Covering.lean 3 declarations
- CyclicCore.lean 23 declarations
- DiskAverages.lean 29 declarations
- DiskExtension.lean 49 declarations
- Exclusion.lean 28 declarations
- Expansion.lean 37 declarations
- Five.lean 5 declarations
- FiveSupport.lean 35 declarations
- FourContinuity.lean 32 declarations
- FourTransport.lean 30 declarations
- FullApproximation.lean 12 declarations
- GraphCuts.lean 29 declarations
- GraphPatches.lean 19 declarations
- GraphRealization.lean 36 declarations
- HoleApproximation.lean 28 declarations
- Interfaces.lean 47 declarations
- Lattice.lean 10 declarations
- Main.lean 1 import, no declarations
- MeasurableAssembly.lean 1 declarations
- MeasurableProper.lean 8 declarations
- Mesh.lean 6 declarations
- Metric.lean 9 declarations
- Moser.lean 41 declarations
- PaletteDensity.lean 31 declarations
- PaletteTransport.lean 25 declarations
- Palettes.lean 16 declarations
- PlanarCovers.lean 13 declarations
- Rigidity.lean 37 declarations
- Sectors.lean 29 declarations
- Seven.lean 4 declarations
- States.lean 54 declarations
- Transitions.lean 13 declarations
- WeakColoring.lean 19 declarations