∫ Утверждение Mathlib

forget_lat_partOrd_eq_forget_bddOrd_partOrd

Mathlib.Order.Category.BddLat

URI: https://scilib.ai/kg/mathlib#BddLat.forget_lat_partOrd_eq_forget_bddOrd_partOrd

← MathLib Explorer