Documentation

LeanPool.ConnesRigidity.Paper.Section6

Zhou ยง6: non-isomorphism #

The section endpoint combines characteristic-kernel transport with the concrete nonsplit module obstruction.