surjOn_sUnion — Mathlib · SciLib

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

surjOn_sUnion

Mathlib.Data.Set.Lattice.Image

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

← MathLib Explorer