Isomorphism theorems (source code)

= Isomorphism theorems
{wiki}