"$L_α$ satisfies $Σ_n$-separation" implies "$Σ_n$-projectum of α is α"? ([1], paragraph starting with "Suppose") C7X (talk) 09:38, 22 February 2022 (PST)
