range_subset_range_iff_exists_comp — Mathlib · SciLib

∫ Утверждение Mathlib

range_subset_range_iff_exists_comp

Mathlib.Data.Set.Image

URI: https://scilib.ai/kg/mathlib#Set.range_subset_range_iff_exists_comp

← MathLib Explorer