Documentation

Lean 4 Proof

theorem optimal_N_spectral
    {M : ℕ} (_spec : OrderedSpectrum M) :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/EndogenousHierarchy.lean:443

Module Section

Endogenous Hierarchy: Network CES ↔ Spectral Hierarchy Bridge

In the same file