Suslin rigidity theorem

GPTKB entity