structure definition def or abbrev

`AlgebraicRestrictionProofSketch`

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

formal statement (Lean)

 227structure AlgebraicRestrictionProofSketch where
 228  non_separability : True
 229  layer_propagation : True
 230  accumulation : True
 231

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

the_proof_sketch in IndisputableMonolith.Complexity.CircuitLowerBound decl_use