Registry · Proposition IV.P16 tau-effective formalized

IV.P16 — Algebraic Properties of CR(τ³)

CR(τ³) is a complex vector space, commutative algebra, and infinite-dimensional.

Book IV Part 3 Ch. 18

Dependency Graph

Depends on (1)

IV.D60

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.HilbertSpace

Symbol: Tau.BookIV.QuantumMechanics.AlgebraicPropertiesOfCr