`IndisputableMonolith.Gravity.Analysis.ReggeM2BridgeProbe4D`

IndisputableMonolith/Gravity/Analysis/ReggeM2BridgeProbe4D.lean · 3 lines · 0 declarations

Explainer status: pending

   1-- Obsolete probe; retained as a stub so lake does not rebuild stale content.
   2import IndisputableMonolith.Gravity.Analysis.ReggeExactMidpointM2TTIdentity4DKernelCert
   3

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