OAI/Analysis/KadisonKastler/ModularDefectDensity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Extending central modular defects from a cyclic reference vector

Uniform contractivity and centrality extend the scaling equation to every vector in the same modular representation.

  1. theorem OAI.KadisonKastler.ModularConjugationData.scaling_defect_tendsto_of_cyclic line 25