Theorem Set.range_subset_range_iff_exists_comp

Modification history

2023-06-30 17:15
Mathlib/Data/Set/Image.lean
feat: lift a continuous map from a connected space to a sigma type (#4325) …
Added Set.range_subset_range_iff_exists_compView on Github →