range_ite_subset' — Mathlib · SciLib

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

range_ite_subset'

Mathlib.Data.Set.Image

URI: https://scilib.ai/kg/mathlib#Set.range_ite_subset'

← MathLib Explorer