Been playing with disjunctive cuts today. Two pages of draft and ~20 lines of + and there you go with <γ, x> - γ0 ≤ 0

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!