Registry · Remark IV.R163 tau-effective formalized

IV.R163 — Helium-4 and beyond

In orthodox physics superfluid He-4 has quantized circulation h/m_{He}; in Category tau the quantization is structural from the integrality of theta on T^2, not from the ratio h/m; the Planck constant cancels against mass, leaving only the topological integer.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.Helium4AndBeyond