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

FinPartOrd_dual_comp_forget_to_partOrd

Mathlib.Order.Category.FinPartOrd

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

← MathLib Explorer