Registry · Proposition IV.P230 tau-effective not_applicable

IV.P230 — He-4 Minimal Donut Criterion

cos(π/N) ≥ 1−ι_τ selects minimal bosonic superfluid nucleus. N=3 (He-3): 0.500 < 0.659 FAILS. N=4 (He-4): 0.707 ≥ 0.659 PASSES. Threshold κ_D = 1−ι_τ links superfluid selection to τ³ structure.

Book IV Part 7 Ch. 61

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.ManyBody.CondensedMatter