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