Registry · Definition IV.D255 tau-effective formalized

IV.D255 — Master constant iota_tau

The master constant iota_tau = 2/(pi + e) approx 0.341304. The numerator 2 reflects the bipolar splitting of the lemniscate (two lobes, two idempotents). The denominator pi + e couples the temporal transcendental e (base growth) to the spatial transcendental pi (fiber periodicity).

Book IV Part 1 Ch. 4

Dependency Graph

Depended on by (97)

IV.P147 IV.P149 IV.P158 IV.T106 IV.T107 IV.P166 IV.T111 IV.P167 IV.P174 IV.T140 IV.T69 IV.T76 IV.P114 IV.P119 IV.T78 IV.T79 IV.T90 IV.P230 IV.T142 IV.T144 IV.P82 IV.P109 IV.T83 IV.T84 IV.T86 IV.T87 IV.P129 IV.P154 IV.P155 IV.T101 IV.P160 IV.P161 IV.P162 IV.P163 IV.P164 IV.T105 IV.P165 IV.T108 IV.T109 IV.T110 IV.T116 IV.T118 IV.T119 IV.T124 IV.T138 IV.T141 IV.P184 IV.P185 IV.T223 IV.T227 IV.T228 IV.T238 IV.T239 IV.T240 IV.T242 IV.T258 IV.T283 IV.T296 IV.T302 IV.T307 IV.T312 IV.T317 IV.T318 IV.T319 IV.T320 IV.T322 IV.T323 IV.T327 IV.T332 IV.T342 IV.T345 IV.T358 IV.T380 IV.T381 IV.T387 IV.P240 IV.P242 IV.P243 IV.P244 IV.P246 IV.P272 IV.P280 IV.P282 IV.P283 IV.P302 IV.P306 IV.P309 IV.P320 IV.P321 IV.P326 IV.P328 IV.P349 IV.P379 IV.P385 IV.P387 IV.P392 IV.C5

Lean Formalization

Module: TauLib.BookIV.Arena.Tau3Arena

Symbol: Tau.BookIV.Arena.MasterConstantIotatau