chore: safe-subset golfing batch from #16 (fun_prop + named lemmas) (−62 lines)#30

cameronfreer merged 1 commit into

maincameronfreer/exchangeability:mainfrom

cleanup-safe-golfing-batchcameronfreer/exchangeability:cleanup-safe-golfing-batchCopy head branch name to clipboard