Free product with amalgamation

Summary