Documentation

Lean 4 Proof

theorem per_level_primal_dual_bridge
    (N : ℕ) (e : WeightedHierarchicalCESEconomy N) (n : Fin N) :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/SpectralHierarchy.lean:391

Module Section

## Eigenstructure Bridge and Damping Cancellation with Weights

In the same file