Registry · Lemma VII.L01 tau-effective formalized

VII.L01 — BH Basin Law-Code

Black-hole basin law-code is canonical E₃ carrier satisfying SelfDesc²; internal law-code includes description of boundary conditions.

Book VII Part 1 Ch. 4

Dependency Graph

Depends on (2)

VII.D05 VII.D06

Depended on by (4)

VII.L03 VII.L19 VII.R56 VII.T02

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.BhBasinLawcode