Registry · Theorem
V.T107
tau-effective
formalized
V.T107 — Ladder Monotonicity
The canonical thresholds occur in the order n_EW < n_B < n_N < n_nuc < n_H < n_gamma, equivalently in order of decreasing chart-level temperature. Each threshold is a crossing condition on a monotonically decreasing function of refinement depth.
Book V
Part 6
Ch. 48