Commit 2022-06-26 03:02 72cff840
View on Github →feat(order/symm_diff): The symmetric difference is involutive (#14959)
a ∆ (a ∆ b) = b
and b ∆ a ∆ a = b
.
feat(order/symm_diff): The symmetric difference is involutive (#14959)
a ∆ (a ∆ b) = b
and b ∆ a ∆ a = b
.