Registry · Definition IV.D64 tau-effective formalized

IV.D64 — Entanglement

A two-particle state is entangled if its coefficient tensor on H_τ⊗H_τ does not factor. Entanglement = non-factorizability of CR-functions on T²×T².

Book IV Part 3 Ch. 18

Dependency Graph

Depends on (1)

IV.D62

Depended on by (3)

IV.D124 IV.P21 IV.T58

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.HilbertSpace

Symbol: Tau.BookIV.QuantumMechanics.Entanglement