feat(geometry/manifold/complex): holomorphic function on compact connected manifold is constant (#15667)
feat(geometry/manifold/complex): holomorphic function on compact connected manifold is constant (#15667)

Our first fact about complex manifolds!

[Zulip](https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Missing.20facts.20about.20.60locally_constant.60)





leanprover-community/mathlib,leanprover-community/mathlib