Registry · Theorem V.T295 conjectural not_formalized

V.T295 — Atmospheric angle theta_23 --- IV.T175

Ledger restatement: atmospheric angle theta_23 (IV.T175)

Book V Part 7 Ch. 61

Dependency Graph

Depends on (5)

I.D34 II.T40 IV.T175 V.P127 V.T165