Quillen's theorem A

GPTKB entity