mk_of_mem — Mathlib · SciLib

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

mk_of_mem

Mathlib.Data.DFinsupp.Defs

URI: https://scilib.ai/kg/mathlib#DFinsupp.mk_of_mem

← MathLib Explorer