OAI/Geometry/BallPacking/Moser/
436 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- AnnularFinalPacking.lean 45 declarations
- BackgroundDensity.lean 28 declarations
- CircleCorrection.lean 37 declarations
- DiskMoser.lean 18 declarations
- ManifoldExteriorNaturality.lean 25 declarations
- ManifoldMoserField.lean 30 declarations
- ParametricMoser.lean 47 declarations
- PlanarCorrection.lean 49 declarations
- PlanarCovectorPrimitive.lean 36 declarations
- RelativeForms.lean 47 declarations
- SmoothManifoldIntegral.lean 35 declarations
- SymplecticFamily.lean 39 declarations