Registry · Proposition
IV.P360
tau-effective
not_formalized
IV.P360 — Saturation Implies Stability
Saturated configurations (Definition def:iv-saturation-donut) are stable: enumerate No nearby lower-energy states to...
Book IV
Part 5
Ch. 38