Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.closure_preimage_re_inter_preimage_im

Modification history

2022-02-09 08:51
src/analysis/complex/re_im_topology.lean
feat(data/complex/basic): re-im set product (#11770) …
Deleted complex.closure_preimage_re_inter_preimage_imView on Github →
2022-01-05 14:15
src/analysis/complex/re_im_topology.lean
feat(analysis/complex): `re`, `im`, and `closure`/`interior`/`frontier` (#11215)
Added complex.closure_preimage_re_inter_preimage_imView on Github →