neLocus_self_sub_left — Mathlib · SciLib

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

neLocus_self_sub_left

Mathlib.Data.DFinsupp.NeLocus

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

← MathLib Explorer