Registry · Definition IV.D253 tau-effective formalized

IV.D253 — Fiber T^2 --- physical reading

The fiber T^2 of the tau^3 fibration is the two-dimensional space generated by the inner generators gamma (second solenoidal direction, exponent coordinate) and eta (third solenoidal direction, tetration coordinate). The fiber is homogeneous at any base point, responsible for translational symmetry of spatial physics.

Book IV Part 1 Ch. 4

Dependency Graph

Depended on by (229)

IV.P148 IV.T107 IV.T113 IV.T68 IV.T69 IV.T71 IV.T73 IV.P115 IV.P122 IV.P125 IV.T85 IV.T88 IV.P138 IV.T93 IV.P145 IV.P234 IV.T208 IV.P80 IV.P81 IV.P85 IV.P87 IV.P90 IV.P91 IV.P92 IV.P94 IV.P98 IV.L10 IV.L12 IV.P101 IV.P102 IV.P107 IV.P110 IV.P111 IV.T81 IV.T82 IV.T83 IV.T84 IV.T87 IV.P129 IV.P130 IV.P132 IV.P133 IV.P134 IV.P137 IV.P139 IV.P140 IV.P141 IV.P146 IV.P151 IV.T96 IV.T98 IV.P165 IV.T108 IV.T109 IV.T110 IV.T112 IV.T116 IV.T118 IV.T120 IV.P173 IV.P175 IV.P182 IV.P184 IV.P185 IV.T222 IV.T223 IV.T225 IV.T226 IV.T229 IV.T230 IV.T231 IV.T234 IV.T235 IV.T236 IV.T237 IV.T238 IV.T239 IV.T243 IV.T244 IV.T249 IV.T251 IV.T253 IV.T254 IV.T255 IV.T266 IV.T267 IV.T268 IV.T273 IV.T274 IV.T276 IV.T277 IV.T278 IV.T279 IV.T280 IV.T284 IV.T285 IV.T286 IV.T287 IV.T290 IV.T293 IV.T294 IV.T295 IV.T296 IV.T297 IV.T298 IV.T300 IV.T303 IV.T308 IV.T310 IV.T315 IV.T325 IV.T326 IV.T327 IV.T328 IV.T330 IV.T331 IV.T337 IV.T338 IV.T339 IV.T341 IV.T347 IV.T349 IV.T351 IV.T354 IV.T355 IV.T356 IV.T357 IV.T358 IV.T359 IV.T360 IV.T361 IV.T362 IV.T364 IV.T366 IV.T367 IV.T368 IV.T369 IV.T372 IV.T374 IV.T375 IV.T376 IV.T377 IV.T381 IV.T382 IV.T383 IV.T386 IV.T387 IV.T388 IV.P236 IV.P237 IV.P238 IV.P239 IV.P246 IV.P247 IV.P248 IV.P249 IV.P250 IV.P251 IV.P253 IV.P254 IV.P255 IV.P256 IV.P266 IV.P267 IV.P269 IV.P271 IV.P272 IV.P273 IV.P275 IV.P276 IV.P284 IV.P285 IV.P286 IV.P287 IV.P288 IV.P292 IV.P293 IV.P294 IV.P298 IV.P299 IV.P300 IV.P303 IV.P305 IV.P307 IV.P310 IV.P311 IV.P312 IV.P313 IV.P315 IV.P317 IV.P318 IV.P319 IV.P320 IV.P323 IV.P325 IV.P327 IV.P328 IV.P329 IV.P334 IV.P336 IV.P338 IV.P339 IV.P340 IV.P341 IV.P342 IV.P344 IV.P345 IV.P347 IV.P349 IV.P353 IV.P354 IV.P355 IV.P356 IV.P357 IV.P358 IV.P360 IV.P362 IV.P363 IV.P365 IV.P370 IV.P372 IV.P373 IV.P375 IV.P376 IV.P377 IV.P378 IV.P381 IV.P389 IV.P390

Lean Formalization

Module: TauLib.BookIV.Arena.Tau3Arena

Symbol: Tau.BookIV.Arena.FiberT2PhysicalReading