coe_mk' — Mathlib · SciLib

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

coe_mk'

Mathlib.Data.DFinsupp.Defs

URI: https://scilib.ai/kg/mathlib#DFinsupp.coe_mk'

← MathLib Explorer