Kontsevich–Witten theorem

GPTKB entity