OAI/NumberTheory/DukePrimeDegree/Dynamics/CompactShearingSequence.lean

Compact equal-leaf shearing sequences

The synchronized annular return theorem applies to every member of an initial noncentral sequence. The selected diagonal conjugates still tend to identity, and the two compact return pairs have equal leaves and the signed conjugation convention required by shearing compactness.