Documentation

Lean 4 Proof

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

Dependency Graph

Location

thesis/CESProofs/Hierarchy/SpectralHierarchy.lean:407

Module Section

## Eigenstructure Bridge and Damping Cancellation with Weights

In the same file