Beilinson–Lichtenbaum conjecture

GPTKB entity