Moore-Aronszajn theorem

GPTKB entity