Registry · Remark VII.R56 tau-effective not_applicable

VII.R56 — BH Basin Cross-Book Consistency

Cross-book check 7/8: VII.L01 BH basin as E₃ carrier consistent with Book V BH T² topology (BHBirthTopology.lean) and PhysicsSelfDescription (HermeticClosure.lean).

Book VII Part 1 Ch. 5

Dependency Graph

Depends on (1)

VII.L01

Lean Formalization

Module:

Symbol: