Lemmas about List.Subset
, List.Sublist
, List.IsPrefix
, List.IsSuffix
, and List.IsInfix
. #
isPrefixOf #
@[simp]
isSuffixOf #
Subset #
List subset #
instance
List.instTransSubsetMem
{α : Type u_1}
:
Trans (fun (l₁ l₂ : List α) => l₂ ⊆ l₁) Membership.mem Membership.mem
Equations
Sublist and isSublist #
instance
List.instTransSublistMem
{α : Type u_1}
:
Trans (fun (l₁ l₂ : List α) => l₂.Sublist l₁) Membership.mem Membership.mem