`IndisputableMonolith.RecogSpec.Witness.Core`

IndisputableMonolith/RecogSpec/Witness/Core.lean · 15 lines · 0 declarations

Explainer status: ready · generated 2026-06-08 03:16:44.591577+00:00

   1import Mathlib
   2
   3namespace IndisputableMonolith
   4namespace RecogSpec
   5namespace Witness
   6
   7/-! ### Core Witness
   8
   9The inevitability witness establishes that the RS framework
  10necessarily produces the critical-strip structure for ζ zeros. -/
  11
  12end Witness
  13end RecogSpec
  14end IndisputableMonolith
  15

source mirrored from github.com/jonwashburn/shape-of-logic