notMem_mulSupport — Mathlib · SciLib

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

notMem_mulSupport

Mathlib.Algebra.Notation.Support

URI: https://scilib.ai/kg/mathlib#Function.notMem_mulSupport

← MathLib Explorer