Registry · Definition IV.D66 tau-effective formalized

IV.D66 — Quantum Operator

X̂f(p) = d/dt|_{t=0} f(φ_t(p)) for holomorphic vector field X. Defined by geometric flow — no quantization rule invoked.

Book IV Part 3 Ch. 19

Dependency Graph

Depends on (2)

IV.D65 IV.D62

Depended on by (5)

IV.D67 IV.P23 IV.P24 IV.T20 IV.T21

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.Quantization

Symbol: Tau.BookIV.QuantumMechanics.QuantumOperator