van Kampen theorem

GPTKB entity