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

bddDistLat_dual_comp_forget_to_distLat

Mathlib.Order.Category.BddDistLat

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

← MathLib Explorer