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