refactor(PEPS): use pi congruence for boundary casts#3128

LionSR wants to merge 1 commit into

mainLionSR/TNLean:mainfrom

codex/region-boundary-config-pi-congrLionSR/TNLean:codex/region-boundary-config-pi-congrCopy head branch name to clipboard