Registry · Remark IV.R325 tau-effective not_applicable

IV.R325 — Generator roles

In the solenoidal triple {pi, gamma, eta}, pi generates temporal evolution along tau^1 while gamma and eta generate the two address-shifting rotations on T^2; the discrete step psi_{k+1} = U_pi * psi_k is the unitary operator for one pi-step along the base.

Book IV Part 3 Ch. 21

Lean Formalization

Module: