The opposite of a set #
The opposite of a set s
is simply the set obtained by taking the opposite of each member of s
.
@[simp]
@[simp]
@[simp]
@[simp]
@[simp]
data.set.opposite
The opposite of a set s
is simply the set obtained by taking the opposite of each member of s
.