Quillen's Theorem B

GPTKB entity