law lo_snd

lawful-arrays@0.1.0.0 · proof_tree.bend:68

import Base

68law lo_snd:
69  for -T: Type
70  for -ys: Array<T>
71  for r: Array<T> & T
72  {Pair.snd(Array<T>, T, Array.swap.lo(T, ys, r)) == Pair.snd(Array<T>, T, r) : T}