Registry · Theorem VII.T12 tau-effective formalized

VII.T12 — Operator Realism

Classification of admissible continuation operators is a structural invariant independent of observers; laws are real.

Book VII Part 2 Ch. 23

Dependency Graph

Depends on (1)

VII.T10

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.operator_realism