OAI/Geometry/KahlerSplitting/
732 declarations, 0 contain sorry, 0 declared as axioms; 46 files
Files
- AreaBounds.lean 16 declarations
- AxisContinuation.lean 15 declarations
- Biholomorphism.lean 7 declarations
- BlockMaps.lean 23 declarations
- BoundaryExtension.lean 14 declarations
- BoxGluing.lean 22 declarations
- Boxes.lean 7 declarations
- ClosedForm.lean 17 declarations
- CommutingFlows.lean 17 declarations
- CompactCurves.lean 13 declarations
- ContinuousBoxes.lean 13 declarations
- DiskArea.lean 18 declarations
- DiskAxes.lean 8 declarations
- EtaleGerms.lean 29 declarations
- FixedManifolds.lean 14 declarations
- FlowVariation.lean 10 declarations
- FormDerivatives.lean 25 declarations
- Frobenius.lean 17 declarations
- GermTransport.lean 16 declarations
- GlobalProjections.lean 11 declarations
- Grid.lean 10 declarations
- HolomorphicIdentity.lean 8 declarations
- Main.lean 1 declarations
- MetricBounds.lean 35 declarations
- MixedShell.lean 16 declarations
- Model.lean 17 declarations
- Monodromy.lean 17 declarations
- MovingStokes.lean 25 declarations
- ParameterGrid.lean 14 declarations
- PathBoxes.lean 13 declarations
- PathDerivatives.lean 13 declarations
- PathLifts.lean 5 declarations
- Picard.lean 28 declarations
- PlaqueCharts.lean 14 declarations
- PolydiskAxes.lean 24 declarations
- ProductCharts.lean 14 declarations
- ProductLocal.lean 4 declarations
- ProductRetracts.lean 19 declarations
- ProjectionImages.lean 10 declarations
- Removable.lean 10 declarations
- RetractCharts.lean 15 declarations
- ShellFilling.lean 15 declarations
- SmallAnnuli.lean 30 declarations
- SmallArea.lean 10 declarations
- Superellipsoids.lean 36 declarations
- SwapSplitting.lean 17 declarations