Prime-equivariant coordinate maps #
def
NRR.FoxNeuwirthOrderComplex.IsEquivariantCoordinateMap
(p : ℕ)
(F : RefinedAffineMap.ContinuousCoordinateMap p)
:
Prime-equivariance of a continuous full-coordinate map.
Equations
- NRR.FoxNeuwirthOrderComplex.IsEquivariantCoordinateMap p F = ∀ (g : ↥(NRR.PrimeSymmetry p)) (x : NRR.FoxNeuwirthOrderComplex.Realization p), F (g • x) = g • F x