Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_preconnected.subset_of_closure_inter_subset

Modification history

2022-10-11 03:45
src/topology/connected.lean
feat(analysis/analytic/uniqueness): two analytic functions that coincide locally coincide globally (#16723) …
Added is_preconnected.subset_of_closure_inter_subsetView on Github →