law contains_reverse

bend-mathlib@0.8.1.0 · list.bend:1597

import Base

1597# Reversing does not change whether a list contains x.
1598law contains_reverse:
1599  for ~A: Data
1600  for ~eq: A -> A -> Bool
1601  for xs: List<&2, A>
1602  for +x: A
1603  {List.contains(~A, ~eq, List.reverse(&2, A, xs), x) == List.contains(~A, ~eq, xs, x) : Bool}