Documentation

Lean 4 Proof

theorem general_weight_bridge
    (N : ℕ) (e : WeightedHierarchicalCESEconomy N) :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/SpectralHierarchy.lean:364

Module Section

## Eigenstructure Bridge and Damping Cancellation with Weights

In the same file