Registry · Remark VII.R18 tau-effective not_applicable

VII.R18 — Beauty Across Domains

Mathematical, natural, and artistic beauty unified as instances of structural invariance across domains.

Book VII Part 4 Ch. 43

Lean Formalization

Module:

Symbol: