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