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

coe_le_coe

Mathlib.Order.Nucleus

URI: https://scilib.ai/kg/mathlib#Nucleus.coe_le_coe

← MathLib Explorer