Phase interfaces for the prime configuration model

This module collects the stable APIs established before the prime-equivariant layer. It contains no new mathematical assertion; later PrimeModel modules import this file rather than depending on implementation details of the hyperspace, variable-body, or multivalued-function developments.

@[reducible, inline]

abbrev NRR.PrimeModel.SiteFamily (X : Type u_1) [TopologicalSpace X] (n : ℕ) : Type u_1

Site families used to construct the model's power-diagram partitions.

Equations

• NRR.PrimeModel.SiteFamily = NRR.EMP.VariableBody.SiteFamily