law rev_cons

minebender-game@1.0.0.0 · proof_walk.bend:145

import Base

145law rev_cons:
146  for -A: Data
147  for +r: A
148  for +back: List<&2, A>
149  {List.reverse(&2, A, r <> back) == List.append(&2, A, List.reverse(&2, A, back), [r]) : List<&2, A>}