IV.D180 — π-lift at stage n

The pi-lift at stage n is Lift_pi(n), obtained by restricting the canonical strong lift Lift_{s,n} to pi-supported endomorphisms and selecting the NF-minimal element; it is the tau-analogue of a deep-inelastic scattering probe of the strong sector.