IndisputableMonolith.Verification.Preregistered.AlphaInv.Measurement_CODATA2022

   1import Mathlib
   2import IndisputableMonolith.Verification.Preregistered.Core
   3
   4/-!
   5# Measurement: α⁻¹ (CODATA 2022)
   6
   7Pure data module. Update here when a future CODATA release arrives.
   8-/
   9
  10namespace IndisputableMonolith
  11namespace Verification
  12namespace Preregistered
  13namespace AlphaInv
  14
  15def measurement_CODATA2022 : Measurement :=
  16  { name := "alphaInv_CODATA_2022"
  17  , central := 137.035999177
  18  , sigma := 0.000000021 }
  19
  20end AlphaInv
  21end Preregistered
  22end Verification
  23end IndisputableMonolith
  24