Row-insertion bumping-path monotonicity
ID: row-insertion-bumping-path-monotonicity
During row insertion into a near Young tableau, the successive carried entries strictly increase while the columns in which they are bumped weakly decrease. Every old cell keeps its entry or receives a smaller one. These facts follow from increasing rows and strictly increasing columns.
New to topics? Read the docs here!