mk_neg — Mathlib · SciLib

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

mk_neg

Mathlib.Data.DFinsupp.Defs

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

← MathLib Explorer