Beilinson–Bernstein localization theorem

GPTKB entity