OAI/MathematicalPhysics/NavierStokes/VelocityDetection/
2246 declarations, 0 contain sorry, 0 declared as axioms; 152 files
Files
- ArrayBounds.lean 7 declarations
- ArrayMass.lean 3 declarations
- ArrayScalars.lean 3 declarations
- ArrayTrajectories.lean 14 declarations
- BurstBlock.lean 35 declarations
- BurstBlockRawReferenceLaplacian.lean 10 declarations
- BurstCalculus.lean 4 declarations
- BurstSchedule.lean 47 declarations
- BurstTotal.lean 22 declarations
- BurstTotalComparisonClass.lean 2 declarations
- BurstTotalForce.lean 11 declarations
- BurstTotalReferenceSum.lean 17 declarations
- CenterPaths.lean 32 declarations
- CenterPathsSignedCenter.lean 5 declarations
- ChartExpressions.lean 71 declarations
- ChartRouting.lean 43 declarations
- ChartRoutingPeriodicPrefixDivergence.lean 1 declarations
- ChartTrace.lean 21 declarations
- ChartTraceRouteIsInstalled.lean 5 declarations
- ClmDerivWithin.lean 1 declarations
- CompactIntegral.lean 2 declarations
- CompactTails.lean 14 declarations
- Cutoff.lean 62 declarations
- CutoffCutoffZeroOnUpper.lean 4 declarations
- CutoffDecay.lean 2 declarations
- CutoffObservation.lean 6 declarations
- CutoffRetention.lean 3 declarations
- Cylinder.lean 40 declarations
- CylinderDLift.lean 9 declarations
- CylinderEnergy.lean 25 declarations
- CylinderMeasure.lean 9 declarations
- CylinderUniqueness.lean 8 declarations
- EffectivePrescriptions.lean 19 declarations
- Expanding.lean 24 declarations
- ExpandingArray.lean 29 declarations
- ExpandingArrayDriftData.lean 16 declarations
- ExpandingArrayForce.lean 7 declarations
- ExpandingArrayGate.lean 3 declarations
- ExpandingArrayLocalSupportField.lean 5 declarations
- ExpandingArrayLoss.lean 10 declarations
- ExpressionAlgebra.lean 119 declarations
- FiniteAddresses.lean 14 declarations
- ForceExpressions.lean 42 declarations
- GateBounds.lean 8 declarations
- HeatKernels.lean 14 declarations
- HeatKernelsContDiffKernel.lean 11 declarations
- HeatKernelsIntegrableOnInvSqrt.lean 2 declarations
- HeatKernelsNormalEqKernel.lean 3 declarations
- HeatKernelsNormalTwoNeg.lean 4 declarations
- History.lean 47 declarations
- HistoryRouting.lean 9 declarations
- HistoryRoutingTrace.lean 5 declarations
- HistoryToBox.lean 5 declarations
- IntegrableSumNormed.lean 1 declarations
- JointCalculus.lean 11 declarations
- JointCalculusHorizontalLinear.lean 7 declarations
- JointCalculusTimeDEqDeriv.lean 1 declarations
- MachineCylinder.lean 16 declarations
- MachineHistory.lean 9 declarations
- MachineTorus.lean 17 declarations
- Main.lean 7 imports, no declarations
- MainResult.lean 1 declarations
- MildScalar.lean 16 declarations
- MildScalarContDiffScalar.lean 11 declarations
- MildScalarGlobalJetsClamp.lean 26 declarations
- MildScalarMild.lean 17 declarations
- MildScalarSupportedData.lean 20 declarations
- MildScalarTimeDerivative.lean 5 declarations
- Model.lean 29 declarations
- MovingCutoff.lean 8 declarations
- Observation.lean 10 declarations
- ObservationMeasurableUpperHalfPlane.lean 1 declarations
- ParabolicComparison.lean 9 declarations
- ParabolicTails.lean 2 declarations
- PathBounds.lean 7 declarations
- PeriodicCalculus.lean 7 declarations
- PeriodicComparison.lean 8 declarations
- PeriodicEvaluation.lean 3 declarations
- PeriodicHeat.lean 9 declarations
- PeriodicIntegrableSumNormed.lean 1 declarations
- PeriodicJets.lean 59 declarations
- PeriodicJetsCalculus.lean 44 declarations
- PeriodicLifts.lean 1 declarations
- PeriodicMild.lean 16 declarations
- PeriodicMildContDiffScalar.lean 7 declarations
- PeriodicMildGlobalJetsClamp.lean 23 declarations
- PeriodicMildMild.lean 17 declarations
- PeriodicMildPeriodicData.lean 20 declarations
- PeriodicMildTimeDerivative.lean 5 declarations
- PeriodicSpace.lean 25 declarations
- PeriodicSpaceContinuousProduct.lean 1 declarations
- PeriodicSpaceOfPeriodicCurve.lean 4 declarations
- PeriodicSpaceRestrictLApply.lean 5 declarations
- PeriodicSpaceRestrictRestrict.lean 47 declarations
- PeriodicTime.lean 1 declarations
- Periodization.lean 12 declarations
- PeriodizationExtendAdd.lean 4 declarations
- PeriodizationExtendEventuallyEqFinite.lean 3 declarations
- PeriodizationSupportDAlong.lean 11 declarations
- PeriodizationSupportSpatialD.lean 2 declarations
- Prelude.lean 13 declarations
- PulseBounds.lean 3 declarations
- RationalEvaluation.lean 26 declarations
- RoutingArray.lean 37 declarations
- RoutingArrayTrace.lean 22 declarations
- RoutingData.lean 2 declarations
- RoutingSupport.lean 26 declarations
- ScalarMass.lean 4 declarations
- SmoothBump.lean 24 declarations
- SmoothExpressions.lean 53 declarations
- SmoothProfiles.lean 28 declarations
- SmoothProfilesIntegrableImpulse.lean 1 declarations
- SmoothProfilesLocalSupportImpulse.lean 4 declarations
- SpatialCalculus.lean 14 declarations
- SpatialCalculusPartialDComm.lean 4 declarations
- SpatialCalculusPartialDSub.lean 2 declarations
- SpatialDTranslate.lean 3 declarations
- SpatialIntegration.lean 4 declarations
- SpatialSlices.lean 4 declarations
- Stacks.lean 36 declarations
- StacksLookup.lean 14 declarations
- StacksOptionStep.lean 6 declarations
- StageCounts.lean 5 declarations
- TailCompleteness.lean 2 declarations
- TailConvolution.lean 9 declarations
- TailDifferentiability.lean 13 declarations
- TailEvaluation.lean 3 declarations
- TailJets.lean 51 declarations
- TailSpace.lean 14 declarations
- TailSpaceContDiffPartialDInfty.lean 18 declarations
- TailSpaceContinuousAverageJoint.lean 2 declarations
- TailSpaceContinuousProduct.lean 1 declarations
- TailSpaceConvolveRescale.lean 7 declarations
- TailSpaceHeatDerivative.lean 2 declarations
- TailSpaceHeatExtension.lean 20 declarations
- TailSpaceIntegrableCompatible.lean 44 declarations
- TailSpaceIntegrableKernelValue.lean 2 declarations
- TailSpaceNormValueLe.lean 8 declarations
- TailSpaceRestrictRestrict.lean 16 declarations
- TailSpaceToC0.lean 6 declarations
- TapeCodes.lean 24 declarations
- TimeBlocks.lean 15 declarations
- TimeIntegral.lean 2 declarations
- TorusClass.lean 41 declarations
- TorusClassContinuousOnEnergy.lean 27 declarations
- TorusClassSmoothSlice.lean 4 declarations
- TranslationGates.lean 28 declarations
- UniformDerivatives.lean 17 declarations
- UniformDerivativesFderiv.lean 7 declarations
- UniformDerivativesNormSumLeSparse.lean 3 declarations
- WeakVolterra.lean 31 declarations
- WeakVolterraIntegrableCausal.lean 1 declarations