refactor: introduce reduced Step-1 frontier and related theorems#3

beanapologist merged 1 commit into

mainbeanapologist/RH:mainfrom

codespace-special-eureka-97jrjpp7qvgx2x6gqbeanapologist/RH:codespace-special-eureka-97jrjpp7qvgx2x6gqCopy head branch name to clipboard