Commit 2022-06-04 13:16 0e943b15
View on Github →feat(order/boolean_algebra, set/basic): some compl lemmas (#14508)
Added a few lemmas about complementation, and rephrased compl_compl and mem_compl_image to apply in boolean_algebra rather than set (set _ )).