Commit 2024-04-24 14:51 64630834
View on Github →feat: add 3 lemmas linking iSup and symmDiff (#12340)
Add 3 lemmas to show that the symmetric difference of two iSups/biSups is less or equal to the iSup/biSup of the symmetric differences.
feat: add 3 lemmas linking iSup and symmDiff (#12340)
Add 3 lemmas to show that the symmetric difference of two iSups/biSups is less or equal to the iSup/biSup of the symmetric differences.