OAI/Geometry/BallPacking/Forms/
352 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- ChartSupportedDensity.lean 29 declarations
- CubicFubiniStudy.lean 58 declarations
- FixedSpatialIntegral.lean 38 declarations
- HorizontalCoupling.lean 52 declarations
- ManifoldExteriorAlgebra.lean 27 declarations
- ManifoldFormTransport.lean 27 declarations
- ManifoldMapDifferential.lean 32 declarations
- QuadricInfinityPrimitive.lean 61 declarations
- SpatialOneForm.lean 28 declarations