Contraction morphism (source code)

= Contraction morphism
{wiki=Contraction_morphism}