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