Lindenbaum's lemma

GPTKB entity