Registry · Remark IV.R306 tau-effective not_applicable

IV.R306 — Why gamma and eta?

The 2nd edition notation theta_gamma and theta_eta (replacing Theta_2 and Theta_3) makes generator attribution explicit: gamma and eta are the two elements of the solenoidal triple {pi, gamma, eta} parametrizing the fiber T^2, while pi parametrizes the base tau^1.

Book IV Part 3 Ch. 19

Lean Formalization

Module: