Niklas JohanssonInjective Agreement • May 11th, 2023
Contract Type FiledMay 11th, 2023ent along the diagonal in step 22. Finally, in step 3 we prove strictness for the relations for which implication was shown in step 1. Step 3 depends on the previous steps, along with Assumption 1. This proves Theorem 1, and additionally shows