Zhou §4: property (T) #
The section endpoint combines the EL₃ = SL₃ bridge, finite extensions,
spectral measures, and the concrete finite detector certificates.
The section endpoint combines the EL₃ = SL₃ bridge, finite extensions,
spectral measures, and the concrete finite detector certificates.