123456789# eukhe: the proof of LAW replace_relation_exact import Baseimport ../../laws/replace.bend as Replaceimport ./base.bend as LA def Replace.replace_relation_exact(c, d): LA.rk.relation_exact(c, d)
