OAI/Geometry/
138898 declarations, 0 contain sorry, 0 declared as axioms; 14057 files
Folders
- Anticanonical/ 10 files, 375 declarations
- Arnold/ 36 files, 669 declarations
- BallPacking/ 207 files, 7547 declarations
- Borsuk/ 269 files, 4997 declarations
- BundleTests/ 12 files, 251 declarations
- CAT0Fillings/ 330 files, 2300 declarations
- Cannon/ 299 files, 2980 declarations
- Coboundary/ 8 files, 908 declarations
- ComplexBundle/ 32 files, 772 declarations
- ConjugatePoints/ 19 files, 2133 declarations
- Convex/ 303 files, 8719 declarations
- CoveringDensity/ 3 files, 32 declarations
- CubicTorus/ 162 files, 13275 declarations
- CylinderCovering/ 602 files, 5071 declarations
- DoublingHilbert/ 28 files, 332 declarations
- EinsteinFour/ 407 files, 12212 declarations
- HarmonicGrowth/ 36 files, 2597 declarations
- HeilbronnTriangle/ 242 files, 1953 declarations
- HyperbolicGroups/ 422 files, 4538 declarations
- HypersurfaceGerms/ 16 files, 604 declarations
- Immersion/ 97 files, 1056 declarations
- IntegralFillings/ 112 files, 724 declarations
- IsometricImmersion/ 447 files, 3545 declarations
- Kahler/ 119 files, 1380 declarations
- KahlerSplitting/ 46 files, 732 declarations
- LatticeCovering/ 41 files, 1763 declarations
- LogVolume/ 1 files, 1804 declarations
- Manifold/ 1 files, 42 declarations
- NearbyLagrangian/ 93 files, 1508 declarations
- NegativeCurvature/ 1 files, 40 declarations
- NilpotentCharts/ 25 files, 412 declarations
- NodalSets/ 1068 files, 3650 declarations
- Perimeter/ 176 files, 1579 declarations
- PeriodicTiling/ 122 files, 1451 declarations
- PinnedDistances/ 48 files, 1184 declarations
- PlaneColoring/ 46 files, 1176 declarations
- PolarProducts/ 46 files, 1017 declarations
- PrescribedPotential/ 259 files, 2070 declarations
- PrescribedRicci/ 161 files, 962 declarations
- ProjectionBodies/ 33 files, 1112 declarations
- ProjectionBody/ 32 files, 189 declarations
- ProjectionVolume/ 81 files, 577 declarations
- QuadricBundles/ 34 files, 1140 declarations
- RCD/ 2889 files, 6062 declarations
- RecorderBoxes/ 9 files, 101 declarations
- Relativity/ 336 files, 4838 declarations
- Riemannian/ 52 files, 650 declarations
- RuledCovering/ 30 files, 301 declarations
- SingularHomology/ 81 files, 822 declarations
- SmoothYau/ 436 files, 3859 declarations
- SplitTangent/ 110 files, 1950 declarations
- StableBernstein/ 3 files, 133 declarations
- SurfaceImmersion/ 2050 files, 6911 declarations
- Symplectic/ 30 files, 576 declarations
- TamingCompatibility/ 582 files, 4754 declarations
- TranslativeCovering/ 100 files, 715 declarations
- TriangularCovering/ 9 files, 222 declarations
- UnitDistances/ 40 files, 2297 declarations
- Varifold/ 1 files, 42 declarations
- WeakHessian/ 542 files, 2424 declarations
- WeakMTW/ 210 files, 788 declarations
- Zonotope/ 11 files, 75 declarations
Files
- EinsteinFour.lean 407 imports, no declarations
- HeilbronnTriangle.lean 32 imports, no declarations
- Kahler.lean 1 import, no declarations
- LatticeCovering.lean 41 imports, no declarations