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