Mathlib v3 is deprecated. Go to Mathlib v4

Theorem diff_cont_on_cl.ball_subset_image_closed_ball

Modification history

2022-10-14 20:35
src/analysis/complex/open_mapping.lean
feat(analysis/complex/open_mapping): the open mapping thm for holomorphic functions (#16780)
Added diff_cont_on_cl.ball_subset_image_closed_ballView on Github →