Quillen's Theorem C

GPTKB entity