Registry · Proposition IV.P119 tau-effective formalized

IV.P119 — No uncountable factorization

No uncountable factorization: any physical quantity satisfying boundary-first normalization involves only finite sums at each stage, the profinite omega-germ limit, and evaluation in tau-Idx; no uncountable sum, continuum integral, or UV-divergent operation appears.

Book IV Part 5 Ch. 44

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.VacuumCatastrophe

Symbol: Tau.BookIV.Strong.NoUncountableFactorization