Tate–Hopper conjecture

GPTKB entity