OAI/Analysis/Conductivity/Walls/
218 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- CentralSeamCutoff.lean 4 declarations
- ChildSeamCutoff.lean 5 declarations
- CriticalWall.lean 5 declarations
- CriticalWallBounds.lean 9 declarations
- CriticalWallFamilyCorrection.lean 1 declarations
- CriticalWallHomogeneous.lean 10 declarations
- CriticalWallRegion.lean 1 declarations
- CriticalWallResidual.lean 7 declarations
- CriticalWallTensor.lean 17 declarations
- EndingJoinCutoff.lean 11 declarations
- FlattenedWall.lean 1 declarations
- HadamardWall.lean 9 declarations
- LocalizedMatchedSeam.lean 4 declarations
- ParametricWallAmplitude.lean 7 declarations
- ParametricWallOperators.lean 7 declarations
- ParametricWallTensors.lean 13 declarations
- PhysicalCollarCutoff.lean 1 declarations
- PhysicalTerminalCutoff.lean 7 declarations
- RecenteredWallField.lean 2 declarations
- SeamCubicRate.lean 1 declarations
- SeamCutoff.lean 13 declarations
- SeamL2.lean 7 declarations
- SimpleCriticalWallCoordinates.lean 1 declarations
- SimpleCriticalWallRegion.lean 1 declarations
- SimpleWallGraph.lean 4 declarations
- SmoothCutoffSmallMargin.lean 1 declarations
- WallHalfspaceIntegral.lean 12 declarations
- WallHomogeneous.lean 17 declarations
- WallMomentAmplitudeBounds.lean 7 declarations
- WallMomentIndependence.lean 8 declarations
- WallSideMoments.lean 10 declarations
- WallSurfaceMomentInverse.lean 5 declarations
- WallTransferParametric.lean 7 declarations
- WallVanishingMomentCoefficients.lean 3 declarations