Algebraic fundamental group

GPTKB entity