Registry · Remark IV.R176 metaphorical formalized

IV.R176 — Penrose tilings on the torus

Penrose tilings arise as a special case of incommensurate torus windings: the projection angle is arctan(w_gamma/w_eta), the higher-dimensional lattice is the CR-address lattice Lambda on T^2, and fivefold symmetry emerges when the winding ratio involves the golden ratio.

Book IV Part 7 Ch. 53

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.PenroseTilingsOnTheTorus