Registry · Remark II.R36 tau-effective not_applicable

II.R36 — Tau-Exponential Sigma-Equivariance

Sigma-equivariance of E_tau reflects that self-interaction respects the bipolar involution. The fixed-point locus E_tau^sigma recovers the diagonal of HolEnd.

Book II Part 8 Ch. 43

Dependency Graph

Depends on (1)

II.D88

Lean Formalization

Module:

Symbol: