Registry · Remark V.R158 tau-effective not_applicable

V.R158 — Gaia and crystallization

Gaia and white dwarf crystallization: the Gaia-detected pile-up in the white dwarf luminosity function at the crystallization temperature (Tremblay et al. 2019) is consistent with the tau-inequality crossing at the mu = 0 boundary, where ions freeze and theta_lattice appears.

Book V Part 4 Ch. 33

Lean Formalization

Module: