Documentation

LeanPool.NandakumarRamanaRao.NRR.PrimeModel

Prime configuration-model interface #

This public aggregator exposes the algebraic and equivariant layer used by the prime-refinement argument: the prime symmetry subgroup, zero-sum coordinate decomposition, abstract compact configuration models, equivariant power-diagram children, child-evaluation test maps, endpoint orthants, and the bounded augmented reference map.

It does not assert existence of the concrete polyhedral model and does not contain a PL transversality, orbit-count, or separation theorem.