∫ Утверждение Mathlib
isUpperSet_image
Mathlib.Order.UpperLower.Fibration
URI: https://scilib.ai/kg/mathlib#Relation.Fibration.isUpperSet_image
∫ Утверждение Mathlib
Mathlib.Order.UpperLower.Fibration
URI: https://scilib.ai/kg/mathlib#Relation.Fibration.isUpperSet_image