`IndisputableMonolith.LightCone`

IndisputableMonolith/LightCone.lean · 5 lines · 0 declarations

Explainer status: ready · generated 2026-05-13 10:24:45.064397+00:00

   1/-!
   2Shim file: exposes the umbrella LightCone namespace to submodules that
   3`import IndisputableMonolith.LightCone`.
   4-/
   5