Registry · Theorem
IV.T364
tau-effective
not_formalized
IV.T364 — tau3 Magic Number Origin
Magic numbers (Definition def:iv-magic-numbers) occur when all T^2 modes up to level n are filled: equation Magic N...
Book IV
Part 5
Ch. 40