Documentation

Lean 4 Proof

def vertexDegree (net : ComplementarityNetwork J) (j : Fin J) : ℝ :=
  ∑ k : Fin J, net.w j k

Dependency Graph

Used by

Location

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:85

Module Section

CES on Networks: Heterogeneous Pairwise Complementarity

In the same file