百科. “稳定 ∞-范畴的素谱” [稳定∞-范畴的素谱]