Paper VI · Lean sources

Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations

Inherited / related evidence Coverage and evidence

The edition relies on earlier or related formal evidence. That evidence is not a fresh full-edition replay.

This viewer reads the retained source; it does not run Lean or assign new claim mappings.

Source files 49

Source locations and editions

Files are shown relative to source/complete/original_snapshot/formalization/lean/.

Historical editions keep their original paths. Package caches and build files are omitted.

49 files

KernelAudit.lean
711 lines · 0 declaration locations
KomorebiPaperVI.lean
47 lines · 0 declaration locations
Algebra.leanKomorebiPaperVI/
103 lines · 10 declaration locations
BanachDefects.leanKomorebiPaperVI/
47 lines · 3 declaration locations
BayesianFlow.leanKomorebiPaperVI/
75 lines · 10 declaration locations
BayesianNecessity.leanKomorebiPaperVI/
132 lines · 11 declaration locations
BayesianPartitions.leanKomorebiPaperVI/
96 lines · 15 declaration locations
BayesianTowers.leanKomorebiPaperVI/
87 lines · 8 declaration locations
BetaNormalization.leanKomorebiPaperVI/
174 lines · 17 declaration locations
CanonicalJets.leanKomorebiPaperVI/
103 lines · 12 declaration locations
Coarsening.leanKomorebiPaperVI/
162 lines · 24 declaration locations
ComplexMemory.leanKomorebiPaperVI/
107 lines · 8 declaration locations
ComplexSemigroups.leanKomorebiPaperVI/
70 lines · 4 declaration locations
ConditionalExpectation.leanKomorebiPaperVI/
120 lines · 16 declaration locations
ConditionalTowers.leanKomorebiPaperVI/
77 lines · 7 declaration locations
ContourNaturality.leanKomorebiPaperVI/
80 lines · 7 declaration locations
DiscreteGreen.leanKomorebiPaperVI/
131 lines · 13 declaration locations
FeynmanKac.leanKomorebiPaperVI/
112 lines · 15 declaration locations
FiniteBayes.leanKomorebiPaperVI/
141 lines · 20 declaration locations
FractionalIntegral.leanKomorebiPaperVI/
41 lines · 4 declaration locations
FractionalNormBounds.leanKomorebiPaperVI/
126 lines · 8 declaration locations
FractionalResolvent.leanKomorebiPaperVI/
66 lines · 4 declaration locations
FractionalScalarBounds.leanKomorebiPaperVI/
64 lines · 5 declaration locations
FractionalSemigroup.leanKomorebiPaperVI/
110 lines · 11 declaration locations
FractionalTowers.leanKomorebiPaperVI/
44 lines · 5 declaration locations
HolomorphicContours.leanKomorebiPaperVI/
53 lines · 3 declaration locations
HolomorphicFinite.leanKomorebiPaperVI/
139 lines · 13 declaration locations
InformationLoss.leanKomorebiPaperVI/
80 lines · 7 declaration locations
LowModeConvergence.leanKomorebiPaperVI/
40 lines · 3 declaration locations
MarkovSemigroup.leanKomorebiPaperVI/
94 lines · 8 declaration locations
MartingalePackets.leanKomorebiPaperVI/
45 lines · 3 declaration locations
MatrixMemory.leanKomorebiPaperVI/
37 lines · 2 declaration locations
MemoryLaplace.leanKomorebiPaperVI/
59 lines · 5 declaration locations
NonnormalMemory.leanKomorebiPaperVI/
158 lines · 8 declaration locations
NormalizedFractional.leanKomorebiPaperVI/
95 lines · 4 declaration locations
OperatorBounds.leanKomorebiPaperVI/
72 lines · 3 declaration locations
PoissonKernel.leanKomorebiPaperVI/
77 lines · 11 declaration locations
PoissonSubordination.leanKomorebiPaperVI/
85 lines · 6 declaration locations
PositiveResolvent.leanKomorebiPaperVI/
88 lines · 10 declaration locations
ReciprocalGaussian.leanKomorebiPaperVI/
145 lines · 14 declaration locations
RectangularFractional.leanKomorebiPaperVI/
202 lines · 14 declaration locations
RectangularSemigroup.leanKomorebiPaperVI/
105 lines · 10 declaration locations
RectangularTowers.leanKomorebiPaperVI/
105 lines · 12 declaration locations
ReducingPackets.leanKomorebiPaperVI/
52 lines · 3 declaration locations
ScalarDecay.leanKomorebiPaperVI/
34 lines · 3 declaration locations
SchurFeshbach.leanKomorebiPaperVI/
48 lines · 4 declaration locations
Semigroups.leanKomorebiPaperVI/
112 lines · 12 declaration locations
SpectralPackets.leanKomorebiPaperVI/
102 lines · 13 declaration locations
Survival.leanKomorebiPaperVI/
137 lines · 16 declaration locations