Suslin's lemma

GPTKB entity