exists_of_mem_keys — Mathlib · SciLib

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

exists_of_mem_keys

Mathlib.Data.List.Sigma

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

← MathLib Explorer