def definition def or abbrev

`geoFamily`

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

formal statement (Lean)

  63def geoFamily (n : Nat) : List (XORSystem n) :=

Definition body.

  64  linearFamily n ++ mortonOctantFamily n
  65
  66/-- Each octant contributes exactly 2 systems. -/

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

geometric_isolation_enables_propagation_thm in IndisputableMonolith.Complexity.SAT.Completeness decl_use
geoFamily_poly_bound in IndisputableMonolith.Complexity.SAT.GeoFamily decl_use
geoSmallBias in IndisputableMonolith.Complexity.SAT.GeoFamily decl_use

Lean names referenced from this declaration's body.

mortonOctantFamily in IndisputableMonolith.Complexity.SAT.GeoFamily decl_use
linearFamily in IndisputableMonolith.Complexity.SAT.SmallBias decl_use
XORSystem in IndisputableMonolith.Complexity.SAT.XOR decl_use