Algebraic fundamental group

Summary