Quillen–Suslin theorem

GPTKB entity