Documentation

Lean 4 Proof

def adjustmentRate (r : Fin M → ℝ) (k : Fin M) : ℝ := r k

Dependency Graph

Location

thesis/CESProofs/Hierarchy/SpectralHierarchy.lean:41

Module Section

Endogenous Hierarchy: Why N Levels?

In the same file