Implement elimPropInv for profunctor optics extraction#51

erykciepiela with Copilot wants to merge 3 commits into

rowtypes-with-halflenses-and-halfprismsrestaumatic/bambik:rowtypes-with-halflenses-and-halfprismsfrom

copilot/implement-todo-in-elimpropprestaumatic/bambik:copilot/implement-todo-in-elimproppCopy head branch name to clipboard