def definition def or abbrev

`octantSystems`

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

formal statement (Lean)

  45def octantSystems (n : Nat) (level : OctantLevel) (octant : OctantIndex) : List (XORSystem n) :=

Definition body.

  46  [[octantConstraint n level octant false], [octantConstraint n level octant true]]
  47
  48/-- All octants at a given level. -/

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

octantsAtLevel in IndisputableMonolith.Complexity.SAT.GeoFamily decl_use
octantsAtLevel_length_bound in IndisputableMonolith.Complexity.SAT.GeoFamily decl_use
octantSystems_length in IndisputableMonolith.Complexity.SAT.GeoFamily decl_use

Lean names referenced from this declaration's body.