obs_H0_early
plain-language theorem explainer
The definition supplies the numerical value 67.36 for the early-universe Hubble constant in km/s/Mpc drawn from Planck 2018 data. Cosmologists comparing Recognition Science native-unit predictions against observations would reference it when converting results to SI units. It consists of a direct numerical assignment with no computation or lemmas applied.
Claim. The early-universe Hubble constant is defined as $H_0 = 67.36$ km s$^{-1}$ Mpc$^{-1}$.
background
The module supplies the SI calibration seam that lets Recognition Science predictions, derived in native units with $c = 1$, be expressed in meters, seconds, and km/s/Mpc. The Planck scale provides the external bridge: the SI value of the Planck length is treated as an experimental input, not an RS output, while the module encodes the conversion ratios. The definition records the Planck 2018 early-universe measurement of 67.36 km/s/Mpc as one such anchor.
proof idea
The declaration is a direct numerical assignment of the constant 67.36.
why it matters
This definition supplies one of the observational anchors inside the SI conversion module, allowing native-unit RS results to be compared with Planck cosmology data. It sits alongside the Planck length and time conversions to complete the reporting seam described in the module documentation. The value is external to the theory and serves only as the calibration point for Hubble-constant comparisons.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.