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