[ deprecate ] names for deMorgan lemmas in Data.Fin.Properties#2837
Open
jamesmckinna wants to merge 1 commit intoagda:masterfrom
Open
[ deprecate ] names for deMorgan lemmas in `Data.Fin.Properties`#2837jamesmckinna wants to merge 1 commit intoagda:masterfrom
jamesmckinna wants to merge 1 commit intoagda:masterfrom
