Registry · Definition V.D346 tau-effective not_formalized

V.D346 — UV shield

UV shield from profinite spectral finiteness

Book V Part 7 Ch. 60