The proof for opennes of flat maps in the complex-analytic category can be found in
C. Banica - O.Stanasila, Algebraic methods in the global theory of Complex Spaces, Theorem 2.12 p. 180.
See also my answer to MO question 41158.
Francesco Polizzi
- 66.3k
- 5
- 180
- 283