  We give bijective proofs of Monk's rule for Schubert and double Schubert
polynomials computed with bumpless pipe dreams. In particular, they specialize
to bijective proofs of transition and cotransition formulas of Schubert and
double Schubert polynomials, which can be used to establish bijections with
ordinary pipe dreams.
