Beilinson-Lichtenbaum conjecture

GPTKB entity