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

finBoolAlg_dual_comp_forget_to_finBddDistLat

Mathlib.Order.Category.FinBoolAlg

URI: https://scilib.ai/kg/mathlib#finBoolAlg_dual_comp_forget_to_finBddDistLat

← MathLib Explorer