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