chore: add axiom for the correctness of refinement in rewrite patterns #1809

tobiasgrosser merged 4 commits intomainopencompl/lean-mlir:mainfrom

axiom-ref-correctnessopencompl/lean-mlir:axiom-ref-correctnessCopy head branch name to clipboard