Documentation

LeanPool.ConnesRigidity.Paper.Section3

Zhou ยง3: isomorphic group factors #

The section endpoint constructs the compact-dual shear, its crossed-product implementation, and the resulting trace-preserving factor equivalence.