Submersion (source code)

= Submersion
{wiki}

A smooth map is a submersion when its differential is surjective at every point.