OAI/Geometry/TamingCompatibility/Currents/
64 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- BoundedDistribution.lean 12 declarations
- CriticalAffineDensity.lean 5 declarations
- CutoffEquation.lean 2 declarations
- DistributionEvaluation.lean 2 declarations
- GeometricSeparatingProbability.lean 1 declarations
- LinearLocalDensity.lean 2 declarations
- LocalMeasure.lean 6 declarations
- NormalDensityJacobian.lean 2 declarations
- NormalDistribution.lean 3 declarations
- PlaneFirstVariation.lean 3 declarations
- PlaneMeasure.lean 16 declarations
- PlaneTest.lean 5 declarations
- Restriction.lean 2 declarations
- UnitMeasureBound.lean 3 declarations