exists_mem_image — Mathlib · SciLib

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

exists_mem_image

Mathlib.Data.Set.Image

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

← MathLib Explorer