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

completeLat_dual_comp_forget_to_bddLat

Mathlib.Order.Category.CompleteLat

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

← MathLib Explorer