mem_of_mem_tail — Mathlib · SciLib

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

mem_of_mem_tail

Mathlib.Data.Vector.Mem

URI: https://scilib.ai/kg/mathlib#List.Vector.mem_of_mem_tail

← MathLib Explorer