Documentation

Lean 4 Proof

def overlapWeight (w : Fin M → Fin N → ℝ) (j : Fin M) (n : Fin N) : ℝ :=
  w j n

Dependency Graph

Used by

Location

thesis/CESProofs/Hierarchy/SpectralHierarchy.lean:304

Module Section

Endogenous Hierarchy: Why N Levels?

In the same file