refactor: thin exists_perm_extending_strictMono via mathlib API (−46 lines)#18

cameronfreer merged 2 commits into

maincameronfreer/exchangeability:mainfrom

refactor-perm-extensioncameronfreer/exchangeability:refactor-perm-extensionCopy head branch name to clipboard