OAI/Analysis/Conductivity/Flux/
478 declarations, 0 contain sorry, 0 declared as axioms; 64 files
Files
- AEFluxWeak.lean 1 declarations
- AntisymmetricFlux.lean 16 declarations
- AssembleCompatibleTensors.lean 1 declarations
- AttachedEndDifferential.lean 3 declarations
- AttachedFlatTensor.lean 11 declarations
- AttachedPhysicalSmoothGreen.lean 10 declarations
- AttachedSplicedGreen.lean 5 declarations
- AxialFluxBlend.lean 15 declarations
- BranchTerminalFluxIntegral.lean 3 declarations
- C1WeakDivergence.lean 2 declarations
- CascadeFluxLocal.lean 8 declarations
- CascadeStageCurl.lean 8 declarations
- CascadeTensorBounds.lean 9 declarations
- CascadeTensorLocality.lean 5 declarations
- CentralCylinderGreen.lean 16 declarations
- CentralDistribution.lean 9 declarations
- CentralDistributionLaplacian.lean 4 declarations
- ChartTwoFluxLocalized.lean 2 declarations
- CollarCartesianDifferential.lean 12 declarations
- CompactBoxDivergence.lean 5 declarations
- CompactBoxDivergenceC1.lean 1 declarations
- CompactFluxDivergence.lean 5 declarations
- CompactInteriorDivergence.lean 3 declarations
- CubeWeakDivergence.lean 2 declarations
- CylinderCompletedGreen.lean 8 declarations
- CylinderGreen.lean 5 declarations
- CylinderSeriesGreen.lean 4 declarations
- CylinderSlopeGreen.lean 18 declarations
- DelayedPairFlux.lean 5 declarations
- FiberDivergenceBounds.lean 3 declarations
- FiberDivergenceC1.lean 6 declarations
- FiniteEndPhysicalSmoothTensor.lean 14 declarations
- FiniteEndPhysicalTensor.lean 12 declarations
- FlatBackgroundTensor.lean 5 declarations
- FluxPotentialSymbol.lean 4 declarations
- LinearFluxWeakTransport.lean 14 declarations
- LinearTensorEllipticity.lean 15 declarations
- LocalTensorBounds.lean 2 declarations
- LocalizedTwoFlux.lean 8 declarations
- OpenRegularTensorTarget.lean 2 declarations
- PhysicalAttachedGreen.lean 5 declarations
- PhysicalBlockTensor.lean 13 declarations
- PhysicalChildTensor.lean 6 declarations
- PhysicalEndDifferential.lean 7 declarations
- PhysicalEndSmoothGreen.lean 2 declarations
- PhysicalSplicedGreen.lean 15 declarations
- PhysicalTensorBound.lean 3 declarations
- PhysicalTensorPatch.lean 17 declarations
- PhysicalVoltageFlux.lean 5 declarations
- PiolaFluxAdd.lean 11 declarations
- PiolaFluxContDiff.lean 7 declarations
- PotentialCurl.lean 9 declarations
- SmoothFluxIntegrable.lean 5 declarations
- TorusBoxFlux.lean 11 declarations
- TorusCrossFluxDecay.lean 2 declarations
- TorusCylinderGreenComplex.lean 5 declarations
- TorusCylinderGreenReal.lean 16 declarations
- TorusFluxDecay.lean 13 declarations
- TwoFluxColumns.lean 7 declarations
- TwoFluxDivergence.lean 5 declarations
- VariableBlockTensor.lean 10 declarations
- VariableCollarTensor.lean 11 declarations
- VoltageFluxConstraints.lean 4 declarations
- WeakFluxClassicalC1.lean 8 declarations