support_erase — Mathlib · SciLib

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

support_erase

Mathlib.Data.DFinsupp.Defs

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

← MathLib Explorer