OAI/Geometry/TamingCompatibility/Concentration/
184 declarations, 0 contain sorry, 0 declared as axioms; 36 files
Files
- ActivationMeasureBounds.lean 7 declarations
- ActivationSaturationBounds.lean 2 declarations
- ActivationScales.lean 11 declarations
- ActualHeatResidual.lean 1 declarations
- ConcentrationActivations.lean 4 declarations
- ConcentrationChart.lean 24 declarations
- ConcentrationCompare.lean 3 declarations
- ConcentrationCutoff.lean 6 declarations
- ConcentrationDifferential.lean 8 declarations
- ConcentrationFirstEstimate.lean 2 declarations
- ConcentrationGlobalError.lean 8 declarations
- ConcentrationKernel.lean 20 declarations
- ConcentrationPatchError.lean 2 declarations
- ConcentrationPatchQ.lean 3 declarations
- ConcentrationPhysicalBound.lean 3 declarations
- ConcentrationQBound.lean 1 declarations
- ConcentrationRestriction.lean 1 declarations
- ConcentrationTest.lean 3 declarations
- ConcentrationVariationBound.lean 10 declarations
- ConcentrationVariationLimit.lean 1 declarations
- DefectMomentLimit.lean 1 declarations
- GeometricHeatResidual.lean 1 declarations
- HodgeCompactResidual.lean 7 declarations
- HodgeCutoffResidual.lean 1 declarations
- HodgeParametrixResidual.lean 1 declarations
- HodgeResidualEnergy.lean 4 declarations
- HodgeResidualFamily.lean 10 declarations
- HodgeResidualPush.lean 4 declarations
- HodgeResidualSlices.lean 8 declarations
- HodgeWeakResidual.lean 3 declarations
- PhysicalConcentrationDensity.lean 4 declarations
- RadialDefect.lean 9 declarations
- RadialDefectCombination.lean 5 declarations
- RadialDefectFinite.lean 3 declarations
- SchurVanishing.lean 1 declarations
- TransverseDefectCompare.lean 2 declarations