Rota's conjecture

GPTKB entity