IV.R212 — Lean formalization

The master constant is formalized in TauLib.Boundary.Iota as a rational approximation iota/iotaD = 341304/1000000. Transcendence of 2/(pi+e) is recorded as an axiom (no constructive proof currently known), and quasi-ergodicity is derived from irrationality.