Commit 2021-12-11 21:21 f3613738

chore(order/boolean_algebra): add compl_sdiff (#10722) Also mark sdiff_compl and top_sdiff as @[simp].

added theorem compl_sdiff

modified theorem sdiff_compl

modified theorem top_sdiff