Toeplitz' conjecture

GPTKB entity