Registry · Theorem VII.T19 tau-effective not_applicable

VII.T19 — Beauty as Invariance

What survives all admissible transformations is beautiful; beauty is structural invariance, not subjective preference.

Book VII Part 4 Ch. 42

Dependency Graph

Depends on (1)

VII.D46

Lean Formalization

Module:

Symbol: