Registry · Definition
V.D342
tau-effective
not_formalized
V.D342 — omega-Germ Normalizer Norm_omega
For an omega-germ sequence g = (g_n), the omega-germ normalizer is Norm_omega(g)_n := NF_n(g_n), applying the canonical normal form function at each stage n of the boundary character at the crossing point.