∫ Утверждение 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 Explorer