mathlib3
72cff840 - feat(order/symm_diff): The symmetric difference is involutive (#14959)

Commit

3 years ago

feat(order/symm_diff): The symmetric difference is involutive (#14959) `a ∆ (a ∆ b) = b` and `b ∆ a ∆ a = b`.

Author

YaelDillies

Parents