def definition def or abbrev

`escape`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  52private def escape (s : String) : String :=

Definition body.

  53  -- Minimal escaping for JSON content used here
  54  s.replace "\"" "\\\""
  55

From the project-wide theorem graph. These declarations reference this one in their body.

continuous_no_isolated_zero_defect in IndisputableMonolith.Foundation.DiscretenessForcing decl_use
phiHierarchy_unique in IndisputableMonolith.Information.PhiHierarchyGrowth decl_use
identity_always_possible in IndisputableMonolith.Modal.Possibility decl_use
arrowOfTime in IndisputableMonolith.QFT.Unitarity decl_use
quote in IndisputableMonolith.URCAdapters.Audit decl_use

Lean names referenced from this declaration's body.

for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use