Lips and swallow-tails of singularities of product maps
Lips and swallow-tails are generic local moves of singularities of a smooth map to a 2-manifold. We prove that these moves of singularities of the product map of two functions on a 3-manifold can be realized by isotopies of the functions.