∫ Утверждение Mathlib
map_surjOn_Iic_iff_surjOn
Mathlib.Order.Filter.Map
URI: https://scilib.ai/kg/mathlib#Filter.map_surjOn_Iic_iff_surjOn
∫ Утверждение Mathlib
Mathlib.Order.Filter.Map
URI: https://scilib.ai/kg/mathlib#Filter.map_surjOn_Iic_iff_surjOn