∫ Утверждение Mathlib

SemilatSupCat_dual_comp_forget_to_partOrd

Mathlib.Order.Category.Semilat

URI: https://scilib.ai/kg/mathlib#SemilatSupCat_dual_comp_forget_to_partOrd

← MathLib Explorer