OAI/Analysis/Conductivity/Sources/
352 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- AngularCoefficient.lean 6 declarations
- AngularGraph.lean 13 declarations
- AngularJet.lean 14 declarations
- AngularLocalizedSources.lean 9 declarations
- AngularPhysicalTest.lean 1 declarations
- AngularTrace.lean 14 declarations
- BranchCombine.lean 30 declarations
- CentralWeightedVariational.lean 3 declarations
- CopiedEnergyAlgebra.lean 33 declarations
- CopiedScalarCoefficient.lean 20 declarations
- CriticalWallGap.lean 5 declarations
- EndPointEnergy.lean 3 declarations
- FaceIntegral.lean 3 declarations
- FaceMeasure.lean 11 declarations
- FacePasting.lean 13 declarations
- FluxCylinder.lean 6 declarations
- IteratedAverages.lean 12 declarations
- LocalPhysicalCorrection.lean 5 declarations
- LocalPiola.lean 6 declarations
- LocalRegular.lean 4 declarations
- NestedGeometry.lean 25 declarations
- NestedLimits.lean 6 declarations
- NestedWeightedLimit.lean 6 declarations
- NonzeroJacobianAE.lean 4 declarations
- ParametricPullback.lean 1 declarations
- ParametricSymmetricSources.lean 7 declarations
- PhysicalBlockDomain.lean 3 declarations
- PhysicalC1Pullback.lean 4 declarations
- PhysicalGradient.lean 1 declarations
- PhysicalMaximum.lean 5 declarations
- PhysicalPatching.lean 2 declarations
- PhysicalRoot.lean 1 declarations
- PhysicalTrace.lean 8 declarations
- SymmetricCutoffSources.lean 4 declarations
- TorusMoments.lean 9 declarations
- WeightedGaugeDN.lean 6 declarations
- WeightedSpectralSpace.lean 8 declarations
- WordGeometry.lean 23 declarations
- WordTrace.lean 18 declarations