∫ Утверждение Mathlib
Mathlib.Order.Cover
URI: https://scilib.ai/kg/mathlib#wcovBy_iff_eq_or_covBy
← MathLib Explorer