Registry · Remark II.R40 established not_applicable

II.R40 — The Reality Test

The reality test: whether the fork is worth it depends on whether the tau path leads to a viable description of physics. Books IV-V will test this.

Book II Part 11 Ch. 67

Dependency Graph

Depends on (8)

Lean Formalization

Module:

Symbol: