Commit 2022-06-17 08:38 e427a0e5
View on Github →feat(set/basic, order/boolean_algebra): generalized compl_comp_compl (#14784)
This PR generalizes compl_comp_compl to apply whenever there is a boolean_algebra instance. We also make the set parameter of compl_compl_image explicit.