OAI/Analysis/KadisonKastler/ConstructedCommonPosition.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Spatial stability after a common injective subfactor is fixed

The published change of representation, the constructed boundary isomorphism and the actual paired-factor amplification are joined here. The unitary acts on the original Hilbert space.

  1. theorem OAI.KadisonKastler.constructed_common_subfactor_spatial_stability line 40