Edelsbrunner-Harer nerve theorem

GPTKB entity