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

nonemptyFinLinOrd_dual_comp_forget_to_linOrd

Mathlib.Order.Category.NonemptyFinLinOrd

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

← MathLib Explorer