Paper V · Lean source
KomorebiPaperV.lean
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.
Local imports (23)
KomorebiPaperV.lean23 lines
Original source path
source/complete/original_snapshot/formalization/lean/KomorebiPaperV.lean1 import KomorebiPaperV.Packets
2 import KomorebiPaperV.KnownEdge
3 import KomorebiPaperV.Lifting
4 import KomorebiPaperV.FiniteSelection
5 import KomorebiPaperV.BinaryAdaptive
6 import KomorebiPaperV.IntegerPolyphase
7 import KomorebiPaperV.FIRTransfer
8 import KomorebiPaperV.FiniteAdaptive
9 import KomorebiPaperV.FiniteTransforms
10 import KomorebiPaperV.HilbertPackets
11 import KomorebiPaperV.CompletePrunings
12 import KomorebiPaperV.CRT
13 import KomorebiPaperV.SmithAction
14 import KomorebiPaperV.HaarHilbert
15 import KomorebiPaperV.SmithCyclic
16 import KomorebiPaperV.CyclicSeries
17 import KomorebiPaperV.HaarChannels
18 import KomorebiPaperV.PruningSums
19 import KomorebiPaperV.MaskPerturbation
20 import KomorebiPaperV.WaveletPackets
21 import KomorebiPaperV.PruningAlgorithm
22 import KomorebiPaperV.ZTransform
23 import KomorebiPaperV.FilterBank
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: c06d1c3a5c3b5544e45f26c61fee09ae800f9974800152d5808394902360622e