Let $a,b : V\to W$ be two morphisms of **smooth** complex analytic spaces.

Assume $a$ and $b$ are local analytic isomorphisms.

> - Does the equalizer $U$ of $a,b$ exist as a smooth complex analytic space?