refactor: route Core.approxPerm through Equiv.Perm.exists_extending_pair (−31 lines)#20

cameronfreer merged 1 commit into

maincameronfreer/exchangeability:mainfrom

refactor-approxPermcameronfreer/exchangeability:refactor-approxPermCopy head branch name to clipboard