Birkar–Cascini–Hacon–McKernan conjecture

GPTKB entity