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