Registry · Theorem V.T152 tau-effective formalized

V.T152 — Density Gradient Monotonicity

Density gradient monotonicity theorem.

Book V Part 6 Ch. 49

Dependency Graph

Depends on (2)

V.D51 V.D52

Lean Formalization

Module: TauLib.BookV.Cosmology.NeutrinoBackground

Symbol: Tau.BookV.Cosmology.density_gradient_monotonicity