def definition def or abbrev

`varDegree`

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

formal statement (Lean)

  87def varDegree {n : ℕ} (f : CNFFormula n) (j : Fin n) : ℕ :=

Definition body.

  88  (f.clauses.filter (fun c => containsVar c j)).length
  89
  90/-- Flipping bit j does not change the value at any other index. -/

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

jcostEdgeWeight_le_varDegree_prop in IndisputableMonolith.Complexity.JCostLaplacian decl_use

Lean names referenced from this declaration's body.