notMem_range_self — Mathlib · SciLib

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

notMem_range_self

Mathlib.Data.Finset.Range

URI: https://scilib.ai/kg/mathlib#Finset.notMem_range_self

← MathLib Explorer