notMem_keys — Mathlib · SciLib

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

notMem_keys

Mathlib.Data.List.Sigma

URI: https://scilib.ai/kg/mathlib#List.notMem_keys

← MathLib Explorer