∫ Утверждение Mathlib
preimage_mono
Mathlib.Order.Interval.Set.OrdConnected
URI: https://scilib.ai/kg/mathlib#Set.OrdConnected.preimage_mono
∫ Утверждение Mathlib
Mathlib.Order.Interval.Set.OrdConnected
URI: https://scilib.ai/kg/mathlib#Set.OrdConnected.preimage_mono