Registry · Definition IV.D72 tau-effective formalized

IV.D72 — σ-Equivariant Crossing-Point Mediator

A σ-equivariant crossing-point mediator h > 0 on L = S¹∨S¹ is a constant arising from a character χ ∈ L-hat at ω, satisfying σ-equivariance (χ∘σ = χ) and geometric mean consistency h² = h_γ·h_η.

Book IV Part 3 Ch. 20

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.AddressObstruction

Symbol: Tau.BookIV.QuantumMechanics.EquivariantCrossingpointMediator