Whitney immersion theorem

GPTKB entity