mapsTo_image — Mathlib · SciLib

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

mapsTo_image

Mathlib.Data.Set.Function

URI: https://scilib.ai/kg/mathlib#Function.Semiconj.mapsTo_image

← MathLib Explorer