mathlib
f3613738 - chore(order/boolean_algebra): add `compl_sdiff` (#10722)

Commit

4 years ago

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

Author

urkud

Parents