You are comparing two versions of an item. You can test run either item, and offer to merge one into the other. Merging an item into another effectively replaces the destination item with the source item.

After a merge, the destination item's name, licence and project are retained; everything else is copied from the source item.

Name statements with quantifiers and their negations Peter's copy of statements with quantifiers and their negations
Test Run Test Run
Author Bernhard von Stengel Peter Allen
Last modified 24/03/2020 17:03 10/10/2018 12:29