Registry · Remark V.R327 tau-effective not_applicable

V.R327 — H–He Split

H–He split remark.

Book V Part 6 Ch. 49

Lean Formalization

Module: