ByNobleID
    ω1-strongly compact cardinals and normality | NobleID