OAI/Probability/SLELocalization/
1504 declarations, 0 contain sorry, 0 declared as axioms; 42 files
Files
- AngularClock.lean 35 declarations
- AngularMoments.lean 62 declarations
- BoundaryDiffusion.lean 42 declarations
- BrownianSupport.lean 37 declarations
- Charge.lean 17 declarations
- CircleMeans.lean 2 declarations
- CommonClocks.lean 73 declarations
- ConditionalAngles.lean 9 declarations
- ConditionalTilts.lean 43 declarations
- ConformalKernels.lean 60 declarations
- ConformalLocalization.lean 13 declarations
- DriverStability.lean 6 declarations
- DyadicKernels.lean 52 declarations
- EuclideanApproach.lean 42 declarations
- FilledObstacle.lean 6 declarations
- FiniteClock.lean 4 declarations
- FiniteTimeMass.lean 10 declarations
- FirstDisk.lean 17 declarations
- GreenTilts.lean 93 declarations
- IntegratedMeshSimple.lean 49 declarations
- LoewnerCocycle.lean 2 declarations
- LoewnerExit.lean 55 declarations
- LoewnerFlow.lean 79 declarations
- MappedExit.lean 27 declarations
- MeshExponents.lean 49 declarations
- MeshSlab.lean 3 declarations
- PastObstacle.lean 5 declarations
- PhysicalPast.lean 42 declarations
- RetainedFirstMoment.lean 4 declarations
- ReverseFlow.lean 86 declarations
- SlabMoments.lean 37 declarations
- SlitMaps.lean 31 declarations
- SobolevMeans.lean 80 declarations
- SpatialLimit.lean 1 declarations
- StoppedIto.lean 89 declarations
- StoppedMeshes.lean 25 declarations
- StrongRestart.lean 5 declarations
- SwallowingLaws.lean 78 declarations
- TraceAvoidance.lean 4 declarations
- TraceModel.lean 75 declarations
- TruncatedEnergy.lean 7 declarations
- WeightedEnergy.lean 48 declarations