Documentation

LeanPool.ConnesRigidity.Paper.Section5

Zhou ยง5: ICC #

The section endpoint supplies the concrete orbit and displacement certificates for the two semidirect products.