OAI/Analysis/Conductivity/Branching/
696 declarations, 0 contain sorry, 0 declared as axioms; 73 files
Files
- AlignedEndingData.lean 5 declarations
- AlignedEndingRegularity.lean 19 declarations
- AttachedCutLayer.lean 3 declarations
- AttachedEndGradientL2.lean 5 declarations
- AttachedEndL2.lean 4 declarations
- AttachedEndLayer.lean 3 declarations
- AttachedEndLinear.lean 13 declarations
- AttachedFlatTransport.lean 6 declarations
- BranchFiniteEnding.lean 20 declarations
- BranchOutputNormalization.lean 15 declarations
- CascadeCoefficient.lean 12 declarations
- CascadeGeometry.lean 23 declarations
- CascadeLocality.lean 11 declarations
- CascadeProfile.lean 16 declarations
- CascadeProfileDeriv.lean 2 declarations
- CascadeRankPieces.lean 5 declarations
- CascadeStreams.lean 10 declarations
- CascadeWeakEnd.lean 3 declarations
- CentralChildCollar.lean 8 declarations
- CentralJoinCover.lean 24 declarations
- ChildCentralL2.lean 18 declarations
- ChildComplementPartition.lean 2 declarations
- ChildCoordinateAnalysis.lean 10 declarations
- ChildEndPartition.lean 1 declarations
- ChildFullEndEnergy.lean 1 declarations
- ChildInverse.lean 16 declarations
- ChildJetScaling.lean 18 declarations
- ChildLocalizedJet.lean 8 declarations
- ChildTransportFormula.lean 5 declarations
- CollarMeasureTransport.lean 12 declarations
- CrossingBlock.lean 20 declarations
- DelayedEndingRegularity.lean 7 declarations
- Ending.lean 50 declarations
- EndingCoordinateTransport.lean 25 declarations
- EndingJoinElliptic.lean 5 declarations
- EndingJoinOverlap.lean 4 declarations
- FiniteEndingRegularity.lean 5 declarations
- FlatEndingSplice.lean 13 declarations
- JoinHull.lean 21 declarations
- JoinedPhysicalEnds.lean 2 declarations
- LinearFiniteEndTransport.lean 8 declarations
- MatchedEndingRegularity.lean 3 declarations
- MatchedEndingWeak.lean 2 declarations
- MeasurableDisjointGluing.lean 4 declarations
- MeasurableDisjointGluingMeasurable.lean 3 declarations
- OpenDisjointify.lean 7 declarations
- ParametricCorrectionTransport.lean 7 declarations
- ParentCentralL2.lean 15 declarations
- ParentComplementPartition.lean 2 declarations
- ParentCompletedEndJet.lean 6 declarations
- ParentEndPartition.lean 2 declarations
- ParentFullEndEnergy.lean 8 declarations
- ParentLocalizedJet.lean 10 declarations
- PhysicalAttachedAssembly.lean 11 declarations
- PhysicalAttachedWeakPDE.lean 4 declarations
- PhysicalBlockEnergy.lean 12 declarations
- PhysicalBlockEnergySum.lean 7 declarations
- PhysicalBlockRepresentative.lean 3 declarations
- PhysicalChildAttachedCorrection.lean 4 declarations
- PhysicalChildIntegral.lean 7 declarations
- PhysicalFiniteEndingData.lean 12 declarations
- PhysicalFlatTransport.lean 7 declarations
- PhysicalJoin.lean 11 declarations
- PhysicalNullTransport.lean 3 declarations
- PhysicalOpenBlock.lean 13 declarations
- PhysicalRankTransport.lean 8 declarations
- PhysicalTraceTransport.lean 7 declarations
- QuantitativeRegularTransport.lean 4 declarations
- RecoverJoinChild.lean 9 declarations
- RegularMomentTransport.lean 5 declarations
- SmoothFamilyCorrectionTransport.lean 9 declarations
- TorusEndingCorrection.lean 26 declarations
- VariableBlockEnergy.lean 7 declarations