[ add ] flipped version of Relation.Nullary.Negation.Core.contradiction#2797
Open
jamesmckinna wants to merge 5 commits intoagda:masterfrom
Open
[ add ] flipped version of `Relation.Nullary.Negation.Core.contradiction`#2797jamesmckinna wants to merge 5 commits intoagda:masterfrom
jamesmckinna wants to merge 5 commits intoagda:masterfrom
