Quillen's Theorem A

GPTKB entity