feat(Channel/Schwarz): add positive-map resolvent Jensen#3466

LionSR merged 1 commit into

mainLionSR/TNLean:mainfrom

codex/operator-jensen-resolvent-778LionSR/TNLean:codex/operator-jensen-resolvent-778Copy head branch name to clipboard