Registry · Proposition IV.P248 framework not_formalized IV.P248 — Automorphism Action Under a boundary automorphism Aut( T^2): equationeq:ch57-auto-action d Book IV Part 7 Ch. 57