mathlib

45904fba - chore(*): change notation for `set.compl` (#3212)

chore(*): change notation for `set.compl` (#3212) * introduce typeclass `has_compl` and notation `∁` for `has_compl.compl` * use it instead of `has_neg` for `set` and `boolean_algebra`