Registry · Definition V.D346 tau-effective not_formalized V.D346 — UV shield UV shield from profinite spectral finiteness Book V Part 7 Ch. 60