Registry · Theorem II.T19 established formalized

II.T19 — Euclidean as Static Limit

Euclidean as Static Limit

Book II Part 4 Ch. 21

Dependency Graph

Depends on (3)

II.D21 II.T15 II.T16

Depended on by (4)

II.D72 II.D73 II.D74 II.T46

Lean Formalization

Module: TauLib.BookII.Geometry.CausalStructure

Symbol: sector_causal_check