Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
201 B · 8 lines
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)