Registry · Theorem
IV.T324
tau-effective
not_formalized
IV.T324 — No Fine-Tuning in Category~
In Category , the smallness of the cosmological constant requires no fine-tuning: equation
Book IV
Part 4
Ch. 33