law excluded13_one

bend-prot@0.1.0.0 · LAWS.bend:579

import Base
import bend-prot@0.1.0.0/bonded.bend as B

579# 1 and 3 share neighbor 2.
580law excluded13_one:
581  {B.excluded13(1, 3, [1, 2, 2, 3]) == True{} : Bool}