Lautemann's theorem

GPTKB entity