Holomorphic embedding (source code)

= Holomorphic embedding

A holomorphic embedding is a <holomorphic map> that is also a <smooth embedding>. Its image is a <complex submanifold> and the map is a <biholomorphism> onto that image.