Registry · Remark II.R30 established not_applicable

II.R30 — Books IV-V Preview

Preview of Books IV-V physics programme: fiber T^2 carries QM (Book IV), base tau^1 carries GR (Book V), fibration tau^3 = tau^1 x_f T^2 is itself the unification. The Central Theorem ensures holomorphic functions on tau^3 are determined by boundary characters.

Book II Part 11 Ch. 66

Dependency Graph

Depends on (5)

Lean Formalization

Module:

Symbol: