mathlib
fabad7ec - feat(order/symm_diff): More symmetric difference lemmas (#13133)

Commit

4 years ago

feat(order/symm_diff): More symmetric difference lemmas (#13133) A few more `symm_diff` lemmas. Co-authored-by: Bryan Gin-ge Chen

Author

YaelDillies

Parents