Registry · Definition IV.D26 established formalized

IV.D26 — SI Reference Table

SI physical constants stored as exact scaled Nat pairs. 4 exact constants (c, h, e, k_B from 2019 SI revision) plus Avogadro N_A. Structure: name, numer, denom, denom_pos, is_exact.

Book IV Part 2 Ch. 12

Dependency Graph

Depended on by (23)

IV.D27 IV.D326 IV.T46 V.P07 V.P117 V.P13 V.P43 V.T121 V.T122 V.T134 V.T17 V.T18 V.T19 V.T24 V.T321 V.T322 V.T50 V.T54 V.T59 V.T63 V.T69 V.T78 V.T79

Lean Formalization

Module: TauLib.BookIV.Calibration.SIReference

Symbol: Tau.BookIV.Calibration.SIConstant