∫ Утверждение Mathlib
SemilatInfCat_dual_comp_forget_to_partOrd
Mathlib.Order.Category.Semilat
URI: https://scilib.ai/kg/mathlib#SemilatInfCat_dual_comp_forget_to_partOrd
∫ Утверждение Mathlib
Mathlib.Order.Category.Semilat
URI: https://scilib.ai/kg/mathlib#SemilatInfCat_dual_comp_forget_to_partOrd