Fiber product of rings (source code)

= Fiber product of rings
{wiki}

A fiber product of rings consists of pairs having the same image in a third ring.