OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Detector/
943 declarations, 0 contain sorry, 0 declared as axioms; 144 files
Files
- CompactDetectorCenter.lean 12 declarations
- CompactDetectorCore.lean 3 declarations
- CompactDetectorEvaluation.lean 14 declarations
- CompactDetectorExpressions.lean 17 declarations
- CompactDetectorForceTranslation.lean 21 declarations
- CompactDetectorGeneral.lean 10 declarations
- CompactDetectorMain.lean 3 declarations
- CompactDetectorNames.lean 13 declarations
- CompactDetectorOracle.lean 15 declarations
- CompactDetectorProgram.lean 34 declarations
- CompactDetectorScalarTranslation.lean 7 declarations
- CompactDetectorSupport.lean 9 declarations
- CompactDetectorViscosity.lean 9 declarations
- CylinderCompactCalculus.lean 6 declarations
- CylinderCutoffBounds.lean 5 declarations
- CylinderCutoffLimit.lean 5 declarations
- CylinderDivergence.lean 2 declarations
- CylinderEnergyDerivative.lean 2 declarations
- CylinderEnergyEquation.lean 3 declarations
- CylinderEnergyEstimates.lean 10 declarations
- CylinderEnergyIdentity.lean 2 declarations
- CylinderEnergySpace.lean 14 declarations
- CylinderEnergyUniqueness.lean 2 declarations
- CylinderLiftH2.lean 9 declarations
- CylinderLocalEnergyInput.lean 9 declarations
- CylinderLocalIntegration.lean 7 declarations
- CylinderMeasure.lean 6 declarations
- CylinderPointwiseUniqueness.lean 5 declarations
- CylinderPressureTransport.lean 2 declarations
- CylinderPressureUniqueness.lean 3 declarations
- CylinderSolution.lean 6 declarations
- CylinderSpatialCalculus.lean 3 declarations
- CylinderViscosity.lean 8 declarations
- CylinderWeightCalculus.lean 6 declarations
- CylinderWeightedIntegration.lean 5 declarations
- DetectorBlockSum.lean 5 declarations
- DetectorBump.lean 12 declarations
- DetectorBumpDerivatives.lean 9 declarations
- DetectorBumpMass.lean 1 declarations
- DetectorBurst.lean 4 declarations
- DetectorClockExpressions.lean 8 declarations
- DetectorDivergence.lean 5 declarations
- DetectorExpressions.lean 21 declarations
- DetectorFluid.lean 2 declarations
- DetectorForceProgram.lean 9 declarations
- DetectorForceScaling.lean 8 declarations
- DetectorForceSupport.lean 3 declarations
- DetectorInjection.lean 11 declarations
- DetectorMargins.lean 3 declarations
- DetectorMass.lean 7 declarations
- DetectorNegative.lean 8 declarations
- DetectorObservation.lean 1 declarations
- DetectorOldMass.lean 3 declarations
- DetectorPositive.lean 2 declarations
- DetectorPrefixExpressions.lean 12 declarations
- DetectorProcessorGeometry.lean 2 declarations
- DetectorProcessorObservation.lean 1 declarations
- DetectorProcessorSupport.lean 9 declarations
- DetectorProfileBounds.lean 4 declarations
- DetectorReference.lean 12 declarations
- DetectorReferenceBounds.lean 3 declarations
- DetectorScalar.lean 1 declarations
- DetectorSchedule.lean 8 declarations
- DetectorSeparation.lean 4 declarations
- DetectorStirring.lean 13 declarations
- DetectorSupport.lean 4 declarations
- DetectorTiming.lean 5 declarations
- DetectorViscosity.lean 5 declarations
- DetectorViscosityObservation.lean 1 declarations
- DetectorViscosityProgram.lean 12 declarations
- ExpandingAddressGrowth.lean 5 declarations
- ExpandingAddresses.lean 7 declarations
- ExpandingAmplitude.lean 6 declarations
- ExpandingCenterBounds.lean 4 declarations
- ExpandingCenterExpressions.lean 9 declarations
- ExpandingCenterSize.lean 2 declarations
- ExpandingCenterVelocity.lean 3 declarations
- ExpandingClockBounds.lean 4 declarations
- ExpandingConcentrationFamily.lean 2 declarations
- ExpandingCutoffObservation.lean 7 declarations
- ExpandingCutoffTransport.lean 6 declarations
- ExpandingDetectorScales.lean 15 declarations
- ExpandingDiffusionBudget.lean 2 declarations
- ExpandingDrift.lean 10 declarations
- ExpandingDriftL2.lean 2 declarations
- ExpandingDriftStage.lean 2 declarations
- ExpandingDriftSupport.lean 3 declarations
- ExpandingEnergyDischarge.lean 1 declarations
- ExpandingFiniteBudget.lean 2 declarations
- ExpandingFiniteExpressions.lean 14 declarations
- ExpandingFiniteGates.lean 6 declarations
- ExpandingFiniteGraph.lean 20 declarations
- ExpandingFiniteRetention.lean 1 declarations
- ExpandingFluidDetector.lean 4 declarations
- ExpandingForceBounds.lean 4 declarations
- ExpandingForceEvaluation.lean 5 declarations
- ExpandingForceSupport.lean 4 declarations
- ExpandingGateClock.lean 12 declarations
- ExpandingGateCollars.lean 4 declarations
- ExpandingGateCount.lean 3 declarations
- ExpandingGateExpressions.lean 12 declarations
- ExpandingGateGeometry.lean 6 declarations
- ExpandingGateJetBounds.lean 2 declarations
- ExpandingGateKernels.lean 7 declarations
- ExpandingGateMotion.lean 6 declarations
- ExpandingGateProfile.lean 9 declarations
- ExpandingGates.lean 7 declarations
- ExpandingGlobalBounds.lean 3 declarations
- ExpandingInitialCapture.lean 2 declarations
- ExpandingMain.lean 6 declarations
- ExpandingMassCutoff.lean 9 declarations
- ExpandingMassEvolution.lean 2 declarations
- ExpandingMovingCutoff.lean 9 declarations
- ExpandingNormalizedCenter.lean 5 declarations
- ExpandingObservation.lean 6 declarations
- ExpandingProgramParameters.lean 11 declarations
- ExpandingRecorderAlphabet.lean 16 declarations
- ExpandingRecorderDynamics.lean 4 declarations
- ExpandingRecorderGates.lean 9 declarations
- ExpandingRecorderMass.lean 3 declarations
- ExpandingRecorderRun.lean 9 declarations
- ExpandingRecorderSupport.lean 8 declarations
- ExpandingRecorderTransitions.lean 7 declarations
- ExpandingRetainedObservation.lean 7 declarations
- ExpandingRunPrefixes.lean 3 declarations
- ExpandingScalar.lean 2 declarations
- ExpandingScalarDetector.lean 1 declarations
- ExpandingScalarRetention.lean 1 declarations
- ExpandingSeriesBounds.lean 2 declarations
- ExpandingSourceExpression.lean 8 declarations
- ExpandingStageTimes.lean 9 declarations
- ExpandingTimeCover.lean 1 declarations
- ExpandingTimeJetBounds.lean 4 declarations
- ExpandingWireRates.lean 2 declarations
- ExpandingWorkBudget.lean 5 declarations
- TorusDetectorMain.lean 3 declarations
- TriangularFluid.lean 9 declarations
- TriangularForce.lean 3 declarations
- TriangularLift.lean 14 declarations
- VelocityDecisionCorollaries.lean 7 declarations
- VelocityDecisionDischarge.lean 3 declarations
- VelocityDetectorBounds.lean 3 declarations
- VelocityDetectorScales.lean 19 declarations
- VelocityUnconditional.lean 5 declarations