OAI/Analysis/Conductivity/Geometry/
427 declarations, 0 contain sorry, 0 declared as axioms; 61 files
Files
- AffineBoxPoincare.lean 19 declarations
- AffineCylinder.lean 10 declarations
- AffineCylinderIntegral.lean 3 declarations
- BoxCoordinateBridge.lean 7 declarations
- BoxEnergyPoincare.lean 34 declarations
- BoxIteration.lean 6 declarations
- BoxMomentRightInverse.lean 5 declarations
- CentralSlopeJet.lean 12 declarations
- CollarAE.lean 3 declarations
- CollarInteriorFacts.lean 3 declarations
- CollarLip.lean 3 declarations
- CollarLocalInverse.lean 10 declarations
- CollarReverseBound.lean 7 declarations
- CollarVolumeBound.lean 4 declarations
- CompactRegularBoxCorrection.lean 1 declarations
- CompactSplitSubpatch.lean 1 declarations
- ControlledCorrectionBoxes.lean 13 declarations
- CoordinateCorrectionC0.lean 1 declarations
- CoordinateWeakCorrection.lean 2 declarations
- CutSlopeGradient.lean 3 declarations
- CylinderJetOrthogonal.lean 14 declarations
- CylinderPhysicalEquiv.lean 8 declarations
- CylinderPointEnergy.lean 6 declarations
- CylinderPolynomial.lean 20 declarations
- ExtendedCollar.lean 16 declarations
- FlatTorusPDE.lean 10 declarations
- InverseChartPiolaOperator.lean 5 declarations
- LocalFamilyRegionCoordinates.lean 1 declarations
- LocalSplitSubpatchRetained.lean 1 declarations
- MatrixPerturbInverse.lean 2 declarations
- ParametricCorrectionRegionPiola.lean 1 declarations
- ParametricPotentialCoordinates.lean 2 declarations
- PhysicalBoxCorrection.lean 7 declarations
- PhysicalCollarBand.lean 10 declarations
- PhysicalCollarRegularity.lean 8 declarations
- PhysicalCollarTrace.lean 16 declarations
- PhysicalEndRegions.lean 7 declarations
- PhysicalRegionGluing.lean 1 declarations
- RectanglePoincare.lean 15 declarations
- RegularPatch.lean 9 declarations
- RegularPatchCoordinates.lean 2 declarations
- RegularPatchLinear.lean 1 declarations
- RegularPatchTranslation.lean 5 declarations
- RegularPotentialCoordinates.lean 16 declarations
- RegularRegionCongrSubset.lean 4 declarations
- RegularRegionFiniteGluing.lean 2 declarations
- SmoothCollarRate.lean 5 declarations
- SmoothCollarTrace.lean 6 declarations
- SplitJacobian.lean 4 declarations
- TorusAffineField.lean 6 declarations
- TorusDirectionalDerivative.lean 16 declarations
- TorusExponential.lean 9 declarations
- TorusFaceIntegration.lean 11 declarations
- TorusIntegralAlgebra.lean 5 declarations
- TorusLeadingDecay.lean 2 declarations
- TorusLeadingDecomposition.lean 3 declarations
- TorusLipschitzTrace.lean 6 declarations
- TorusLocalizedMoments.lean 2 declarations
- TorusTraceFiniteEnd.lean 1 declarations
- UniformPhysicalBoxCorrection.lean 1 declarations
- UnitBoxAverage.lean 14 declarations