Anderson's paving conjecture

GPTKB entity