Paper XI · Lean source
PaperXITerminal.lean
Selected results recorded Coverage and evidence
Compiler/replay evidence is reported for a subset or bounded block. No whole-work coverage is implied.
This viewer reads the retained source; it does not run Lean or assign new claim mappings.
Local imports (1)
PaperXITerminal.lean1 line
Original source path
formalization/PaperXITerminal.lean1 import PaperXI.ActualMonomialLocalGlobal
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: 97f0aabedb17dfaa494a967153c6ac55b9761a1b1e377d5885b4877198376f27
Back to Paper XI: Packets, Arithmetic Realization, and Conditional Comparison