∫ Утверждение Mathlib
infs_right_comm
Mathlib.Data.Set.Sups
URI: https://scilib.ai/kg/mathlib#Set.infs_right_comm
∫ Утверждение Mathlib
Mathlib.Data.Set.Sups
URI: https://scilib.ai/kg/mathlib#Set.infs_right_comm