Ray-Chaudhuri–Wilson theorem

GPTKB entity