[WIP] Formalize connection of lower bound resolution#406

Copilot wants to merge 1 commit into

mainmotanova84/P-NP:mainfrom

copilot/formalize-lower-bound-connectionmotanova84/P-NP:copilot/formalize-lower-bound-connectionCopy head branch name to clipboard