Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.closure_set_of_lt_re

Modification history

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_set_of_lt_re View on Github →