Registry · Remark VII.R55 tau-effective not_applicable

VII.R55 — Part I Imports Cross-Book Check

Cross-book check: 5 non-Book-VI imports verified — K0-K8 (Book I), τ³ fibration (Book II), canonical ladder (Book III), holonomy sectors (Book IV), BH dynamics (Book V).

Book VII Part 0 Ch. 2

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: