Shared Effective Curvature

theorem proved Dynamics & Crises

Documentation

Lean 4 Proof

theorem shared_effective_curvature (e : TwoWorldEconomy N) (n : Fin N) :
    sectorEffectiveCurvature e.toNSectorEconomy n =
    sectorEffectiveCurvature e.toNSectorEconomy n :=
  rfl

Dependency Graph

Location

thesis/CESProofs/Dynamics/TemporalOrdering.lean:123

Module Section

Temporal Ordering Rules from Two-World Timescale Separation

In the same file

price_leads_quantity correlation_leads_volatility early_warning_same_criticality crisis_asymmetry_ratio curvature_conservation_lag composed_ordering detection_asymmetry_bridge bridge_in_two_worlds temporal_rules_summary